Path	Lines of Code
bootstrap/build.gradle.kts	15
bootstrap/src/sun/nio/ch/lincheck/EventTracker.java	59
bootstrap/src/sun/nio/ch/lincheck/InjectedRandom.java	46
bootstrap/src/sun/nio/ch/lincheck/Injections.java	456
bootstrap/src/sun/nio/ch/lincheck/ResultInterceptor.java	47
bootstrap/src/sun/nio/ch/lincheck/TestThread.java	11
bootstrap/src/sun/nio/ch/lincheck/ThreadDescriptor.java	147
bootstrap/src/sun/nio/ch/lincheck/TraceDebuggerTracker.java	5
bootstrap/src/sun/nio/ch/lincheck/WeakIdentityHashMap.java	100
bootstrap/src/sun/nio/ch/lincheck/WeakIdentityReference.java	29
build.gradle.kts	255
buildSrc/build.gradle.kts	14
buildSrc/src/main/kotlin/Documentation.kt	22
buildSrc/src/main/kotlin/Publishing.kt	120
buildSrc/src/main/kotlin/Testing.kt	53
buildSrc/src/main/kotlin/Toolchain.kt	54
buildSrc/src/main/kotlin/TraceAgentIntegrationTestsTasks.kt	82
buildSrc/src/main/kotlin/TraceAgentTasks.kt	73
common/build.gradle.kts	59
common/src/main/org/jetbrains/lincheck/analysis/ShadowStack.kt	13
common/src/main/org/jetbrains/lincheck/descriptors/AccessLocation.kt	136
common/src/main/org/jetbrains/lincheck/descriptors/CodeLocations.kt	39
common/src/main/org/jetbrains/lincheck/descriptors/Descriptors.kt	44
common/src/main/org/jetbrains/lincheck/descriptors/MethodSignature.kt	4
common/src/main/org/jetbrains/lincheck/descriptors/Types.kt	196
common/src/main/org/jetbrains/lincheck/trace/IndexedPool.kt	36
common/src/main/org/jetbrains/lincheck/trace/TraceContext.kt	163
common/src/main/org/jetbrains/lincheck/trace/TraceUtils.kt	101
common/src/main/org/jetbrains/lincheck/util/AnalysisSections.kt	226
common/src/main/org/jetbrains/lincheck/util/AtomicMethods.kt	717
common/src/main/org/jetbrains/lincheck/util/Boolean.kt	8
common/src/main/org/jetbrains/lincheck/util/Collections.kt	106
common/src/main/org/jetbrains/lincheck/util/Ensure.kt	33
common/src/main/org/jetbrains/lincheck/util/JdkVersion.kt	41
common/src/main/org/jetbrains/lincheck/util/Logger.kt	55
common/src/main/org/jetbrains/lincheck/util/MethodDescriptor.kt	52
common/src/main/org/jetbrains/lincheck/util/ObjectGraph.kt	169
common/src/main/org/jetbrains/lincheck/util/Reflection.kt	35
common/src/main/org/jetbrains/lincheck/util/ResultInterceptor.kt	8
common/src/main/org/jetbrains/lincheck/util/Spinner.kt	82
common/src/main/org/jetbrains/lincheck/util/Time.kt	6
common/src/main/org/jetbrains/lincheck/util/UnsafeHolder.kt	175
common/src/main/org/jetbrains/lincheck/util/Utils.kt	53
integration-test/build.gradle.kts	38
integration-test/common/build.gradle.kts	27
integration-test/common/src/main/AbstractGradleTraceIntegrationTest.kt	71
integration-test/common/src/main/AbstractIntellijTraceIntegrationTest.kt	33
integration-test/common/src/main/AbstractTraceIntegrationTest.kt	176
integration-test/common/src/main/StdErrTee.kt	49
integration-test/common/src/main/Utils.kt	2
integration-test/lincheck/build.gradle.kts	24
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/Counter.kt	7
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/FAAQueue.kt	83
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/FaaQueueTest.kt	34
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/JavaApiCounterTest.java	24
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/LockFreeTaskQueue.kt	207
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/OldApiCounterTest.kt	17
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/SequentialIntChannel.kt	83
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/SingleWriterHashTable.kt	95
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/SingleWriterHashTableTest.kt	46
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/linearizable/BufferedChannelTest.kt	25
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/linearizable/ConcurrentHashMapTest.kt	25
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/linearizable/ConcurrentLinkedQueueTest.kt	23
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/linearizable/HashMapTest.kt	17
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/linearizable/RendezvousChannelTest.kt	29
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/linearizable/SkipListMapTest.kt	27
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/quiescent/LockFreeTaskQueueTest.kt	27
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/serializable/SerializableQueueTest.kt	43
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/CountDownLatchTest.kt	23
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/CyclicBarrierTest.kt	19
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/BaseChannelsTest.kt	15
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel01.kt	38
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel02.kt	55
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel03.kt	39
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel04.kt	68
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel05.kt	64
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel06.kt	52
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel07.kt	51
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel08.kt	32
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel09.kt	43
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel10.kt	32
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel11.kt	65
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel12.kt	41
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel13.kt	55
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel14.kt	47
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel15.kt	41
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel16.kt	44
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel17.kt	38
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel18.kt	34
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel19.kt	38
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels/channel20.kt	54
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/guide/BasicCounterTest.kt	20
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/guide/ConcurrentLinkedDequeTest.kt	22
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/guide/ConcurrentLinkedQueueTest.kt	22
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/guide/ConcurrentMapTest.kt	29
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/guide/CounterTest.kt	16
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/guide/MPSCQueueTest.kt	19
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/guide/ObstructionFreedomViolationTest.kt	16
integration-test/trace-recorder/build.gradle.kts	63
jvm-agent/build.gradle.kts	81
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/ClassInformation.kt	20
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/FinalFields.kt	88
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LabelsTracker.kt	13
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassFileTransformer.kt	309
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassVisitor.kt	169
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckJavaAgent.kt	249
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckMethodVisitor.kt	84
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LocalVariables.kt	80
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/MethodInformation.kt	27
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/MethodLabels.kt	34
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/MethodLines.kt	12
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/OwnerNameAnalyzer.kt	616
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/SMAPInfo.kt	420
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/SafeClassWriter.java	108
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TraceAgentParameters.kt	224
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TraceAgentTransformer.kt	128
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TransformationProfile.kt	308
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TransformationStatistics.kt	248
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TransformationUtils.kt	321
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TransformerChain.kt	60
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/ControlFlowGraphAnalyzer.kt	66
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/controlflow/BasicBlockControlFlowGraph.kt	254
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/controlflow/ControlFlowGraph.kt	138
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/controlflow/InstructionControlFlowGraph.kt	9
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/controlflow/LoopInformation.kt	234
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/ConstantHashCodeTransformer.kt	37
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/ConstructorArgumentsSnapshotTrackerTransformer.kt	51
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/CoroutineSupportTransformers.kt	68
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/CoverageBytecodeFilter.kt	109
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/DeterministicInvokeDynamicTransformer.kt	238
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/IgnoredSectionWrapperTransformer.kt	42
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/InlineMethodCallTransformer.kt	301
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/InstructionMethodVisitor.kt	73
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/IntrinsicCandidateMethodFilter.kt	44
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/LocalVariablesAccessTransformer.kt	120
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/LoopTransformer.kt	143
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/MethodCallTransformer.kt	321
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/MonitorTransformers.kt	258
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/ObjectCreationTransformer.kt	116
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/ObjectCreationTransformerBase.kt	16
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/ParkingTransformer.kt	64
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/SharedMemoryAccessTransformer.kt	232
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/ThreadTransformers.kt	117
settings.gradle.kts	32
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
trace-debugger/build.gradle.kts	48
trace-debugger/src/main/org/jetbrains/lincheck/trace/debugger/TraceDebuggerAgent.kt	33
trace-debugger/src/main/org/jetbrains/lincheck/trace/debugger/TraceDebuggerInjections.kt	72
trace-debugger/src/main/org/jetbrains/lincheck/trace/debugger/TraceDebuggerMethodTransformer.kt	21
trace-recorder/build.gradle.kts	48
trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt	808
trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorder.kt	71
trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderAgent.kt	43
trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderInjections.kt	37
trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderMethodTransformer.kt	24
trace/build.gradle.kts	63
trace/src/main/org/jetbrains/lincheck/trace/AddressIndex.kt	63
trace/src/main/org/jetbrains/lincheck/trace/AtomicBitmap.kt	54
trace/src/main/org/jetbrains/lincheck/trace/ChunkedList.kt	173
trace/src/main/org/jetbrains/lincheck/trace/Deserialization.kt	899
trace/src/main/org/jetbrains/lincheck/trace/MemMapTemporaryStorage.kt	50
trace/src/main/org/jetbrains/lincheck/trace/Printing.kt	88
trace/src/main/org/jetbrains/lincheck/trace/RangeIndex.kt	106
trace/src/main/org/jetbrains/lincheck/trace/SerializationBase.kt	253
trace/src/main/org/jetbrains/lincheck/trace/SerializationCommon.kt	351
trace/src/main/org/jetbrains/lincheck/trace/SerializationDiff.kt	3
trace/src/main/org/jetbrains/lincheck/trace/SerializationInmemory.kt	165
trace/src/main/org/jetbrains/lincheck/trace/SerializationNull.kt	20
trace/src/main/org/jetbrains/lincheck/trace/SerializationPacker.kt	45
trace/src/main/org/jetbrains/lincheck/trace/SerializationStream.kt	312
trace/src/main/org/jetbrains/lincheck/trace/Streams.kt	234
trace/src/main/org/jetbrains/lincheck/trace/TRAccessLocation.kt	65
trace/src/main/org/jetbrains/lincheck/trace/TRTracePointPrinters.kt	322
trace/src/main/org/jetbrains/lincheck/trace/TracePostprocessor.kt	140
trace/src/main/org/jetbrains/lincheck/trace/TraceRecorderTracePoints.kt	797
