Path	Lines of Code
bootstrap/src/sun/nio/ch/lincheck/Injections.java	456
build.gradle.kts	255
buildSrc/src/main/kotlin/TraceAgentIntegrationTestsTasks.kt	82
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/util/AnalysisSections.kt	226
common/src/main/org/jetbrains/lincheck/util/Ensure.kt	33
common/src/main/org/jetbrains/lincheck/util/MethodDescriptor.kt	52
common/src/main/org/jetbrains/lincheck/util/ObjectGraph.kt	169
integration-test/common/src/main/AbstractTraceIntegrationTest.kt	176
integration-test/lincheck/build.gradle.kts	24
integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures/OldApiCounterTest.kt	17
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/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/ObstructionFreedomViolationTest.kt	16
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/FinalFields.kt	88
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/MethodInformation.kt	27
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/OwnerNameAnalyzer.kt	616
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TransformationProfile.kt	308
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/DeterministicInvokeDynamicTransformer.kt	238
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/InlineMethodCallTransformer.kt	301
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/MethodCallTransformer.kt	321
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/ObjectCreationTransformer.kt	116
jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/ThreadTransformers.kt	117
src/jvm/main/org/jetbrains/kotlinx/lincheck/IdeaPlugin.kt	353
src/jvm/main/org/jetbrains/kotlinx/lincheck/execution/ExecutionResult.kt	80
src/jvm/main/org/jetbrains/kotlinx/lincheck/runner/LambdaRunner.kt	78
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/ThreadScheduler.kt	177
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt	1833
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedThreadScheduler.kt	40
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ObjectIdentityHashCodeTracker.kt	44
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/SnapshotTracker.kt	204
src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/modelchecking/ModelCheckingStrategy.kt	506
src/jvm/main/org/jetbrains/kotlinx/lincheck/trace/TraceCompressor.kt	199
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/lincheck/datastructures/verifier/LTS.kt	310
src/jvm/test-jdk11/org/jetbrains/kotlinx/lincheck_test/representation/MethodHandlesLookupTests.kt	32
trace-debugger/src/main/org/jetbrains/lincheck/trace/debugger/TraceDebuggerInjections.kt	72
trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt	808
trace/src/main/org/jetbrains/lincheck/trace/TRTracePointPrinters.kt	322
trace/src/main/org/jetbrains/lincheck/trace/TraceRecorderTracePoints.kt	797