common/org.jetbrains.lincheck.analysis

Package-level declarations

Types

Link copied to clipboard
class ShadowStackFrame(val instance: Any?)

Represents a shadow stack frame used to reflect the program's stack in org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.