100644 blob 3069d9abd923d356220b373fda021b92c86def8d	AlwaysSamePartitionSelector.java
100644 blob ea2ffd89d204747284f1043c6c32c941fb0f7fb6	DescriptorSelectorBuilder.java
100644 blob 5de99358a10ddc027fb0cce3908d56f9db10c9a3	Model.java
100644 blob 10f0a4a2b46d45585a3ac967be6b79e5538d0d45	NoOpChecker.java
100644 blob c36e248bc6fbf5fe849d1e2b8a335113e9a7fcfd	OpSelectors.java
100644 blob a2da871e6f4d3fa6fe60fc76a34b37af98d88bea	QueryingNoOpValidator.java
100644 blob 258c673d6b23053112eb5e9369794520115add86	QuiescentChecker.java
100644 blob 0336559187335682cdc5776fae97ab6e482becd0	QuiescentLocalStateCheckerBase.java
100644 blob bb02b3d2bea7c4a2e253a41354ce30c42a924bd2	RepairingLocalStateValidator.java
100644 blob 8debbbe8b2f71de0e3ea91b612b0e2d84f24b6fc	SelectHelper.java
040000 tree c53327a4164eb3400e26a5d05dd7f116dce71ec7	clock
040000 tree 9651e017075b8634bd49026b917742645fa52248	sut