Path	Lines of Code
src/jvm/main/org/jetbrains/kotlinx/lincheck/Actor.kt	31
src/jvm/main/org/jetbrains/kotlinx/lincheck/CTestStructure.java	512
src/jvm/main/org/jetbrains/kotlinx/lincheck/ExecutionClassLoader.kt	15
src/jvm/main/org/jetbrains/kotlinx/lincheck/IdeaPlugin.kt	353
src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt	225
src/jvm/main/org/jetbrains/kotlinx/lincheck/Reporter.kt	544
src/jvm/main/org/jetbrains/kotlinx/lincheck/Result.kt	43
src/jvm/main/org/jetbrains/kotlinx/lincheck/Utils.kt	154
src/jvm/main/org/jetbrains/kotlinx/lincheck/annotations/DummySequentialSpecification.java	4
src/jvm/main/org/jetbrains/kotlinx/lincheck/annotations/LogLevel.kt	11
src/jvm/main/org/jetbrains/kotlinx/lincheck/annotations/OpGroupConfig.java	23
src/jvm/main/org/jetbrains/kotlinx/lincheck/annotations/Operation.kt	23
src/jvm/main/org/jetbrains/kotlinx/lincheck/annotations/Param.kt	24
src/jvm/main/org/jetbrains/kotlinx/lincheck/annotations/StateRepresentation.kt	8
src/jvm/main/org/jetbrains/kotlinx/lincheck/annotations/Validate.kt	10
src/jvm/main/org/jetbrains/kotlinx/lincheck/execution/ActorGenerator.kt	35
src/jvm/main/org/jetbrains/kotlinx/lincheck/execution/ExecutionGenerator.java	12
src/jvm/main/org/jetbrains/kotlinx/lincheck/execution/ExecutionResult.kt	80
src/jvm/main/org/jetbrains/kotlinx/lincheck/execution/ExecutionScenario.kt	103
src/jvm/main/org/jetbrains/kotlinx/lincheck/execution/HBClock.kt	21
src/jvm/main/org/jetbrains/kotlinx/lincheck/execution/RandomExecutionGenerator.java	96
src/jvm/main/org/jetbrains/kotlinx/lincheck/paramgen/ParameterGenerators.kt	32
src/jvm/main/org/jetbrains/kotlinx/lincheck/runner/ActiveThreadPoolExecutor.kt	131
src/jvm/main/org/jetbrains/kotlinx/lincheck/runner/ExecutionScenarioRunner.kt	400
src/jvm/main/org/jetbrains/kotlinx/lincheck/runner/InvocationResult.kt	26
src/jvm/main/org/jetbrains/kotlinx/lincheck/runner/LambdaRunner.kt	78
src/jvm/main/org/jetbrains/kotlinx/lincheck/runner/Runner.kt	48
src/jvm/main/org/jetbrains/kotlinx/lincheck/runner/TestThreadExecution.java	26
src/jvm/main/org/jetbrains/kotlinx/lincheck/runner/TestThreadExecutionGenerator.java	312
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/LincheckFailure.kt	64
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/Strategy.kt	60
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/ThreadScheduler.kt	177
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/AbstractTraceDebuggerEventTracker.kt	7
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/InterleavingSequenceTrackableSet.kt	444
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/LoopDetector.kt	396
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt	1833
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategySettings.kt	9
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedThreadScheduler.kt	40
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/MethodCallResultsTracker.kt	61
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/MonitorTracker.kt	12
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ObjectIdentityHashCodeTracker.kt	44
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ObjectTracker.kt	236
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/OwnerNames.kt	120
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ParkingTracker.kt	10
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/SnapshotTracker.kt	204
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/modelchecking/ModelCheckingCTest.java	37
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/modelchecking/ModelCheckingStrategy.kt	506
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/modelchecking/ModelCheckingStrategyConfiguration.kt	105
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/DeterministicMethodDescriptor.kt	39
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/DeterministicRandomMethodDescriptor.kt	106
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/DeterministicTimeMethodDescriptor.kt	11
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/PureDeterministicMethodDescriptor.kt	25
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/ReplayableMutableInstance.kt	11
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/io/DeterministicFileMethodDescriptor.kt	158
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/io/FileApiSpecificMethodDescriptors.kt	253
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/io/ForEachHolder.kt	15
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/io/JavaStandardLibrary.kt	165
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/io/TrackedIterable.java	31
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/nativecalls/io/TrackedIterator.java	29
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/stress/StressCTest.java	35
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/stress/StressStrategy.kt	9
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/stress/StressStrategyConfiguration.kt	87
src/jvm/main/org/jetbrains/kotlinx/lincheck/trace/TraceCollector.kt	8
src/jvm/main/org/jetbrains/kotlinx/lincheck/trace/TraceCompressor.kt	199
src/jvm/main/org/jetbrains/kotlinx/lincheck/trace/TraceFlattenPolicies.kt	125
src/jvm/main/org/jetbrains/kotlinx/lincheck/trace/TraceNodes.kt	117
src/jvm/main/org/jetbrains/kotlinx/lincheck/trace/TracePoint.kt	522
src/jvm/main/org/jetbrains/kotlinx/lincheck/trace/TraceReporter.kt	331
src/jvm/main/org/jetbrains/kotlinx/lincheck/util/KotlinReflection.kt	61
src/jvm/main/org/jetbrains/kotlinx/lincheck/util/Threads.kt	12
src/jvm/main/org/jetbrains/kotlinx/lincheck/verifier/VerifierState.kt	13
src/jvm/main/org/jetbrains/kotlinx/lincheck/verifier/linearizability/LinearizabilityVerifier.kt	12
src/jvm/main/org/jetbrains/kotlinx/lincheck/verifier/quiescent/QuiescentConsistencyVerifier.kt	12
src/jvm/main/org/jetbrains/lincheck/Lincheck.kt	87
src/jvm/main/org/jetbrains/lincheck/LincheckAssertionError.kt	5
src/jvm/main/org/jetbrains/lincheck/LincheckSettings.kt	6
src/jvm/main/org/jetbrains/lincheck/datastructures/CustomScenarioDSL.kt	58
src/jvm/main/org/jetbrains/lincheck/datastructures/ManagedStrategyConfiguration.kt	90
src/jvm/main/org/jetbrains/lincheck/datastructures/ManagedStrategyGuarantee.kt	31
src/jvm/main/org/jetbrains/lincheck/datastructures/ModelCheckingOptions.kt	100
src/jvm/main/org/jetbrains/lincheck/datastructures/Operation.kt	11
src/jvm/main/org/jetbrains/lincheck/datastructures/Options.kt	172
src/jvm/main/org/jetbrains/lincheck/datastructures/Param.kt	17
src/jvm/main/org/jetbrains/lincheck/datastructures/ParameterGenerators.kt	272
src/jvm/main/org/jetbrains/lincheck/datastructures/StressOptions.kt	81
src/jvm/main/org/jetbrains/lincheck/datastructures/Validate.kt	6
src/jvm/main/org/jetbrains/lincheck/datastructures/verifier/AbstractLTSVerifier.kt	35
src/jvm/main/org/jetbrains/lincheck/datastructures/verifier/CachedVerifier.java	17
src/jvm/main/org/jetbrains/lincheck/datastructures/verifier/EpsilonVerifier.java	9
src/jvm/main/org/jetbrains/lincheck/datastructures/verifier/LTS.kt	310
src/jvm/main/org/jetbrains/lincheck/datastructures/verifier/LinearizabilityVerifier.kt	70
src/jvm/main/org/jetbrains/lincheck/datastructures/verifier/QuiescentConsistencyVerifier.kt	83
src/jvm/main/org/jetbrains/lincheck/datastructures/verifier/SerializabilityVerifier.kt	28
src/jvm/main/org/jetbrains/lincheck/datastructures/verifier/Verifier.java	5
src/jvm/test-jdk11/org/jetbrains/kotlinx/lincheck_test/representation/MethodHandlesLookupTests.kt	32
src/jvm/test-jdk11/org/jetbrains/kotlinx/lincheck_test/representation/VarHandleRepresentationTests.kt	240
src/jvm/test-jdk11/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/ObstructionFreedomViolationTest.kt	21
src/jvm/test-jdk11/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/VarHandleModificationsSnapshotTest.kt	101
src/jvm/test-jdk11/org/jetbrains/kotlinx/lincheck_test/trace/debugger/SecureRandomTest.kt	29
src/jvm/test-jdk11/org/jetbrains/kotlinx/lincheck_test/trace/debugger/io/FileSpecialCasesOnModernJdksTests.kt	75
src/jvm/test-jdk11/org/jetbrains/kotlinx/lincheck_test/transformation/VarHandleLocalObjectsTest.kt	214
src/jvm/test-jdk11/org/jetbrains/kotlinx/lincheck_test/transformation/atomics/VarHandlesTests.kt	348