jvm-agent/org.jetbrains.kotlinx.lincheck.transformation/InstrumentationMode/MODEL_CHECKING

MODEL_CHECKING

MODEL_CHECKING

In this mode, Lincheck tracks all shared memory manipulations.

Properties

Link copied to clipboard
val name: String
Link copied to clipboard
val ordinal: Int