jvm-agent/org.jetbrains.kotlinx.lincheck.transformation/LincheckJavaAgent/instrumentationMode

instrumentationMode

lateinit var instrumentationMode: InstrumentationMode

Determines how to transform classes; see InstrumentationMode.STRESS and InstrumentationMode.MODEL_CHECKING.