jvm-agent
org.jetbrains.kotlinx.lincheck.trace.agent
MethodVisitorProvider
TraceAgentParameters
TraceAgentTransformer
org.jetbrains.kotlinx.lincheck.transformation
ASM_API
ifStatement()
InstrumentationMode
STRESS
MODEL_CHECKING
TRACE_RECORDING
invokeStatic()
isInstrumentationInitialized
isTraceJavaAgentAttached
LincheckClassFileTransformer
LincheckJavaAgent
LocalVariableInfo
LocalVariablesMap
MethodVariables
SafeClassWriter
StackSlotIndex
toCanonicalClassName()
toInternalClassName()
toSimpleClassName()
withLincheckJavaAgent()