Path	Lines of Code
harry-core/src/harry/concurrent/InfiniteLoopExecutor.java	130
harry-core/src/harry/concurrent/WaitQueue.java	225
harry-core/src/harry/core/Configuration.java	1073
harry-core/src/harry/corruptor/AddExtraRowCorruptor.java	57
harry-core/src/harry/corruptor/ChangeValueCorruptor.java	50
harry-core/src/harry/corruptor/QueryResponseCorruptor.java	77
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/Collections.java	189
harry-core/src/harry/generators/Generator.java	89
harry-core/src/harry/generators/Generators.java	57
harry-core/src/harry/generators/RngUtils.java	130
harry-core/src/harry/generators/StringBijection.java	125
harry-core/src/harry/generators/distribution/Distribution.java	96
harry-core/src/harry/model/NoOpChecker.java	17
harry-core/src/harry/model/OpSelectors.java	650
harry-core/src/harry/model/QuiescentChecker.java	217
harry-core/src/harry/model/clock/ApproximateMonotonicClock.java	200
harry-core/src/harry/model/sut/injvm/InJvmSutBase.java	228
harry-core/src/harry/operations/Query.java	361
harry-core/src/harry/operations/QueryGenerator.java	131
harry-core/src/harry/reconciler/PartitionState.java	201
harry-core/src/harry/reconciler/Reconciler.java	249
harry-core/src/harry/util/BitSet.java	181
harry-core/src/harry/util/Ranges.java	111
harry-core/src/harry/visitors/CorruptingVisitor.java	61
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/RandomValidator.java	64
harry-core/src/harry/visitors/RecentValidator.java	64
harry-core/src/harry/visitors/Sampler.java	68