Path	Lines of Code
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/impl/KotlinCoroutinesTraceRecorderIntegrationTest.kt	19
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/impl/KotlinDatetimeTraceRecorderIntegrationTest.kt	15
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/impl/KotlinImmutableCollectionsTraceRecorderIntegrationTest.kt	35
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/impl/TraceDebuggerExamplesTraceRecorderIntegrationTest.kt	455
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/runner/GenerateTests.kt	38
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/runner/IntellijTraceRecorderJsonTest.kt	13
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/runner/JsonParamTestSupport.kt	27
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/runner/KotlinCompilerTraceRecorderJsonTests.kt	32
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/runner/KotlinImmutableCollectionsTraceRecorderJsonTests.kt	14
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/runner/KtorTraceRecorderJsonTests.kt	13
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/runner/TestCase.kt	10
integration-test/trace-recorder/src/main/org/jetbrains/trace/recorder/test/runner/TestGenerator.kt	137
jvm-agent/src/test/org/jetbrains/lincheck/jvm/agent/AgentParametersParserTests.kt	176
jvm-agent/src/test/org/jetbrains/lincheck/jvm/agent/ControlFlowGraphLoopsTests.kt	59
jvm-agent/src/test/org/jetbrains/lincheck/jvm/agent/ControlFlowGraphTester.kt	153
jvm-agent/src/test/org/jetbrains/lincheck/jvm/agent/ControlFlowGraphTests.kt	87
jvm-agent/src/test/org/jetbrains/lincheck/jvm/agent/TestUtils.kt	3
jvm-agent/src/test/org/jetbrains/lincheck/jvm/agent/TransformationProfileTests.kt	120
scripts/overwrite_representation_tests.sh	13
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/AbstractLincheckTest.kt	50
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/AbstractTraceIntegrationTest.kt	1
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/AddCustomScenarioTest.kt	44
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/AlmostEmptyScenarioTest.kt	33
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/BlockingBehaviourTest.kt	37
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/CoroutinesMultipleSuspensionsTest.kt	48
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/CustomScenarioDSLTest.kt	63
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/ExceptionTest.kt	151
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/HangingDetectionTests.kt	75
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/IncorrectOnCancellationTest.kt	28
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/IncorrectQueueWithValidationFunctionsTest.kt	131
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/KotlinJdkVersionTest.kt	30
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/MinimizationTests.kt	132
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/NonParallelOpGroupTest.java	14
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/ObjectTraverserTest.kt	118
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/OperationsInAbstractClassTest.kt	15
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/PromptCancellationTest.kt	76
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/ResultAsParameterTest.java	71
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/RunOnceTest.java	36
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/ThreadIdTest.kt	18
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/datastructures/MSQueueBlocking.kt	31
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/generator/CustomGuaranteesTests.kt	56
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/generator/ExpandingRangeGeneratorTest.kt	31
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/generator/ParamGeneratorsTests.kt	261
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/DataStructuresTests.kt	99
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/HangTest.kt	36
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/InterruptionTest.kt	244
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/IntrinsicCandidateMethodTest.kt	58
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/JavaAPITest.java	58
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/KotlinAPITest.kt	170
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/ModelCheckerTest.kt	90
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/MonitorTest.kt	57
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/ParkingTest.kt	37
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/PrintingTest.kt	50
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/ReentrantLockTest.kt	27
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/SpinLockTest.kt	77
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/TestClassFieldRestoreTest.kt	23
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/ThreadTest.kt	61
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/ThrowableTest.kt	28
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/UserThreadExceptionTest.kt	57
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/coroutines/BaseCoroutineTest.kt	36
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/coroutines/CoroutineCancelTest.kt	59
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/coroutines/CoroutineJoinTest.kt	18
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/coroutines/CoroutinesDelayTest.kt	36
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/gpmc/coroutines/DaemonThreadPoolTest.kt	137
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/isolated/ActiveThreadPoolExecutorIsolatedTest.kt	69
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/isolated/DeadlockIsolatedTests.kt	72
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/isolated/ThreadDumpIsolatedTest.kt	20
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/AFUCallRepresentationTest.kt	12
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/AccessFunctionRepresentationTest.kt	31
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/ArrayReadWriteRepresentationTest.kt	9
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/AtomicArrayWithCAS2LiveLockTest.kt	174
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/AtomicReferencesNamesTests.kt	50
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/BaseTraceRepresentationTest.kt	32
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/CapturedValueRepresentationTest.kt	20
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/ClocksWithExceptionsInOutputTest.kt	25
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/ConcurrentLinkedDequeTest.kt	43
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/CoroutineCancellationTraceReportingTest.kt	30
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/EmptyColumnAfterMinimizeTest.kt	54
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/EnumRepresentationTest.kt	14
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/ExceptionsInOutputTest.kt	29
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/FunctionWithDefaultFieldsReprTest.kt	18
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/IncorrectArgumentsCountInCustomScenarioActorTest.kt	31
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/InterleavingAnalysisPresentInSpinCycleFirstIterationTest.kt	44
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/InternalLincheckBugTest.kt	8
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/JavaLambdaRepresentationTest.java	17
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/KotlinRandomRepresentationTest.kt	15
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/LambdaCaptureSyntheticFieldTest.kt	12
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/MethodHandlesLookupTests.kt	121
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/MethodReportingTest.kt	88
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/MultipleRootsInRunConcurrent.kt	20
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/MultipleSuspensionsTests.kt	137
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/NoOperationsDefinedTest.kt	16
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/ObstructionFreedomRepresentationTest.kt	46
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/OwnerNameInTraceRepresentationTests.kt	69
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/PairTripleRenderingTest.kt	8
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/RecursiveSpinLockTest.kt	222
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/RunConcurrentRepresentationTests.kt	381
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/SpinlockEventsCutTests.kt	352
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/StateRepresentationTest.kt	104
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/StdLibRepresentationTests.kt	99
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/SuspendTraceReportingTest.kt	138
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/SuspendedNotAwokeTest.kt	33
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/SwitchAsFirstMethodEventTest.kt	25
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/ThreadAbortErrorInTryBlockTest.kt	39
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/ThreadCreationRepresentationTest.kt	32
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/TraceReportingTest.kt	118
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/UnsafeTraceRepresentationTest.kt	32
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/UnsafeUpdaterVarHandleTraceRepresentationTests.kt	50
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/ValidationFunctionTests.kt	99
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineClassTest.kt	9
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineDiversityRepresentationTest.kt	24
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineExtFuncRepresentationTest.kt	23
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalNotTaken2ndLevelReturnTest.kt	33
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalNotTaken2ndLevelThrowTest.kt	37
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalNotTakenDeepReturnTest.kt	33
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalNotTakenFullReturnFinallyTest.kt	32
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalNotTakenFullReturnTest.kt	29
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalNotTakenFullReturnValueFinallyTest.kt	37
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalNotTakenFullReturnValueTest.kt	34
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalNotTakenReturnTest.kt	29
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalNotTakenThrowTest.kt	33
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalTaken2ndLevelReturnTest.kt	33
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalTaken2ndLevelThrowTest.kt	38
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalTakenDeepReturnTest.kt	33
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalTakenDeepThrowTest.kt	37
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalTakenFullReturnFinallyTest.kt	32
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalTakenFullReturnTest.kt	29
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalTakenFullReturnValueFinallyTest.kt	37
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalTakenFullReturnValueTest.kt	34
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalTakenReturnTest.kt	29
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaConditionalTakenThrowTest.kt	33
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaReturnTest.kt	27
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/inlines/InlineLambdaThrowTest.kt	31
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/trace/debugger/RandomRepresentationTests.kt	37
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/runner/CancellationHandlingTest.kt	29
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/runner/ExecutionScenarioRunnerExceptionTest.kt	168
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/runner/InnerClassTest.kt	31
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/runner/ResumingFollowUpTest.kt	51
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/runner/RunBlockingTest.kt	29
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/runner/TestThreadExecutionHelperTest.kt	96
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/InterleavingSequenceTrackableSetTest.kt	358
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/HangingDetectionThresholdTest.kt	35
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/LincheckVersionTest.kt	12
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/ModelCheckingCTestAnnTest.java	21
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/ModelCheckingOptionsTest.java	32
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/SingletonCollectionInTraceTest.kt	35
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/AbstractSnapshotTest.kt	30
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/ArraySnapshotTest.kt	60
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/ArraysAPISnapshotTest.kt	84
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/AtomicFUSnapshotTest.kt	180
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/CollectionSnapshotTest.kt	259
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/CollectionsAPISnapshotTest.kt	62
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/ConstructorArgumentsTrackingTest.kt	41
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/EnumSnapshotTest.kt	35
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/InnerClassConstructorTest.kt	38
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/JavaAtomicsSnapshotTest.kt	74
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/ObjectAsFieldSnapshotTest.kt	39
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/ObjectCycleSnapshotTest.kt	33
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/UnsafeModificationsSnapshotTest.kt	59
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/stress/StressCTestAnnTest.java	20
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/strategy/stress/StressOptionsTest.java	29
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/trace/debugger/AbstractDeterministicTest.kt	67
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/trace/debugger/CollectorsTest.java	18
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/trace/debugger/CurrentTimeTests.kt	41
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/trace/debugger/HashCodeTests.kt	153
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/trace/debugger/RandomTests.kt	331
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/trace/debugger/io/FileSpecialCasesTests.kt	249
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/trace/debugger/io/FileTests.kt	302
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/trace/debugger/io/StreamTests.kt	332
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/trace/debugger/io/ZipStreamTests.kt	188
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/ArrayAccessesTests.kt	104
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/FieldInheritedFromInterfaceTest.java	17
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/FinalFieldReadingEliminationTest.kt	25
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/HashCodeTests.kt	52
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/IgnoredGuaranteeOnExceptionTest.kt	23
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/IgnoredGuaranteeTest.kt	24
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/IterableTransformationTest.kt	21
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/KotlinStdlibTransformationTest.kt	37
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/LocalObjectsTests.kt	335
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/NestedSynchronizedBlocksTest.kt	18
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/RandomTransformationTests.kt	39
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/SerializableValueTests.kt	112
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/StaticInitializationDuringAnalysisTest.kt	22
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/Striped64SupportTest.kt	31
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/TimeStubTest.kt	33
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/WaitNotifyLockTests.kt	82
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/WritesViaAtomicFieldUpdaterTest.java	35
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/atomics/AtomicArraysTests.kt	94
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/atomics/AtomicFUTests.kt	92
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/atomics/AtomicFieldUpdatersTests.kt	77
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/atomics/AtomicSubclassTest.kt	39
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/atomics/AtomicsTests.kt	80
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/transformation/channel/IncorrectBufferedChannelTest.kt	593
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/util/InternalLincheckExceptionEmulator.kt	6
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/util/Playground.kt	93
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/util/TestUtils.kt	159
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/verifier/AllowExtraSuspensionTest.kt	63
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/verifier/CustomScenarioDSL.kt	65
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/verifier/EpsilonVerifierTest.kt	14
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/verifier/SequentialSpecificationTest.kt	21
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/verifier/linearizability/BufferedChannelCustomTest.kt	118
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/verifier/linearizability/CounterTests.kt	56
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/verifier/linearizability/LockBasedSetTests.kt	81
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/verifier/linearizability/LockFreeSetTest.kt	88
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/verifier/linearizability/ManySwitchBugTest.kt	47
src/jvm/test/org/jetbrains/kotlinx/lincheck_test/verifier/linearizability/RendezvousChannelCustomTest.kt	505
trace/src/test/org/jetbrains/lincheck/trace/util/TRPlayground.kt	19