withLincheckJavaAgent

inline fun withLincheckJavaAgent(instrumentationMode: InstrumentationMode, block: () -> Unit)

Executes block with the Lincheck java agent for byte-code instrumentation.