Path	Lines of Code
harry-core/src/harry/concurrent/Awaitable.java	218
harry-core/src/harry/concurrent/Clock.java	41
harry-core/src/harry/concurrent/Condition.java	39
harry-core/src/harry/concurrent/CountDownLatch.java	58
harry-core/src/harry/concurrent/ExecutorFactory.java	71
harry-core/src/harry/concurrent/InfiniteLoopExecutor.java	130
harry-core/src/harry/concurrent/Interruptible.java	19
harry-core/src/harry/concurrent/NamedThreadFactory.java	143
harry-core/src/harry/concurrent/Shutdownable.java	9
harry-core/src/harry/concurrent/UncheckedInterruptedException.java	11
harry-core/src/harry/concurrent/WaitQueue.java	225
harry-core/src/harry/core/Configuration.java	1073
harry-core/src/harry/core/MetricReporter.java	27
harry-core/src/harry/core/Run.java	51
harry-core/src/harry/core/VisibleForTesting.java	3
harry-core/src/harry/corruptor/AddExtraRowCorruptor.java	57
harry-core/src/harry/corruptor/ChangeValueCorruptor.java	50
harry-core/src/harry/corruptor/HideRowCorruptor.java	25
harry-core/src/harry/corruptor/HideValueCorruptor.java	71
harry-core/src/harry/corruptor/QueryResponseCorruptor.java	77
harry-core/src/harry/corruptor/RowCorruptor.java	30
harry-core/src/harry/corruptor/ShowValueCorruptor.java	46
harry-core/src/harry/data/ResultSetRow.java	58
harry-core/src/harry/ddl/ColumnSpec.java	339
harry-core/src/harry/ddl/SchemaGenerators.java	421
harry-core/src/harry/ddl/SchemaSpec.java	369
harry-core/src/harry/dsl/HistoryBuilder.java	498
harry-core/src/harry/generators/Bijections.java	330
harry-core/src/harry/generators/BooleanGenerator.java	9
harry-core/src/harry/generators/Bytes.java	20
harry-core/src/harry/generators/Collections.java	189
harry-core/src/harry/generators/DataGenerators.java	377
harry-core/src/harry/generators/Generator.java	89
harry-core/src/harry/generators/Generators.java	57
harry-core/src/harry/generators/PCGFastPure.java	97
harry-core/src/harry/generators/PcgRSUFast.java	48
harry-core/src/harry/generators/RandomGenerator.java	47
harry-core/src/harry/generators/RngUtils.java	130
harry-core/src/harry/generators/StringBijection.java	125
harry-core/src/harry/generators/Surjections.java	125
harry-core/src/harry/generators/distribution/Distribution.java	96
harry-core/src/harry/model/AlwaysSamePartitionSelector.java	57
harry-core/src/harry/model/DescriptorSelectorBuilder.java	69
harry-core/src/harry/model/Model.java	21
harry-core/src/harry/model/NoOpChecker.java	17
harry-core/src/harry/model/OpSelectors.java	650
harry-core/src/harry/model/QueryingNoOpValidator.java	36
harry-core/src/harry/model/QuiescentChecker.java	217
harry-core/src/harry/model/QuiescentLocalStateCheckerBase.java	76
harry-core/src/harry/model/RepairingLocalStateValidator.java	58
harry-core/src/harry/model/SelectHelper.java	246
harry-core/src/harry/model/clock/ApproximateMonotonicClock.java	200
harry-core/src/harry/model/clock/OffsetClock.java	58
harry-core/src/harry/model/sut/PrintlnSut.java	41
harry-core/src/harry/model/sut/SystemUnderTest.java	66
harry-core/src/harry/model/sut/TokenPlacementModel.java	163
harry-core/src/harry/model/sut/injvm/InJVMTokenAwareVisitExecutor.java	126
harry-core/src/harry/model/sut/injvm/InJvmSut.java	14
harry-core/src/harry/model/sut/injvm/InJvmSutBase.java	228
harry-core/src/harry/model/sut/injvm/MixedVersionInJvmSut.java	46
harry-core/src/harry/model/sut/injvm/QuiescentLocalStateChecker.java	50
harry-core/src/harry/operations/CompiledStatement.java	56
harry-core/src/harry/operations/DeleteHelper.java	153
harry-core/src/harry/operations/Query.java	361
harry-core/src/harry/operations/QueryGenerator.java	131
harry-core/src/harry/operations/Relation.java	226
harry-core/src/harry/operations/WriteHelper.java	127
harry-core/src/harry/reconciler/PartitionState.java	201
harry-core/src/harry/reconciler/Reconciler.java	249
harry-core/src/harry/runner/DataTracker.java	33
harry-core/src/harry/runner/DefaultDataTracker.java	148
harry-core/src/harry/runner/HarryRunner.java	73
harry-core/src/harry/runner/LockingDataTracker.java	193
harry-core/src/harry/runner/Runner.java	358
harry-core/src/harry/runner/StagedRunner.java	61
harry-core/src/harry/runner/TrivialShrinker.java	144
harry-core/src/harry/runner/UpToLtsRunner.java	76
harry-core/src/harry/util/BitSet.java	181
harry-core/src/harry/util/ByteUtils.java	126
harry-core/src/harry/util/Ranges.java	111
harry-core/src/harry/util/StringUtils.java	16
harry-core/src/harry/util/TestRunner.java	76
harry-core/src/harry/util/ThrowingRunnable.java	13
harry-core/src/harry/util/TokenUtil.java	92
harry-core/src/harry/visitors/AllPartitionsValidator.java	112
harry-core/src/harry/visitors/CorruptingVisitor.java	61
harry-core/src/harry/visitors/FaultInjectingVisitor.java	62
harry-core/src/harry/visitors/GeneratingVisitor.java	42
harry-core/src/harry/visitors/LoggingVisitor.java	59
harry-core/src/harry/visitors/LtsVisitor.java	55
harry-core/src/harry/visitors/MutatingRowVisitor.java	101
harry-core/src/harry/visitors/MutatingVisitor.java	157
harry-core/src/harry/visitors/OperationExecutor.java	49
harry-core/src/harry/visitors/ParallelRecentValidator.java	111
harry-core/src/harry/visitors/ParallelValidator.java	70
harry-core/src/harry/visitors/QueryLogger.java	67
harry-core/src/harry/visitors/RandomPartitionValidator.java	35
harry-core/src/harry/visitors/RandomValidator.java	64
harry-core/src/harry/visitors/RecentValidator.java	64
harry-core/src/harry/visitors/ReplayingVisitor.java	88
harry-core/src/harry/visitors/Sampler.java	68
harry-core/src/harry/visitors/SingleValidator.java	41
harry-core/src/harry/visitors/SkippingVisitor.java	31
harry-core/src/harry/visitors/VisitExecutor.java	11
harry-core/src/harry/visitors/Visitor.java	11