trace/org.jetbrains.lincheck.trace/TraceWithContext

TraceWithContext

data class TraceWithContext(val context: TraceContext, val roots: List<TRTracePoint>)

Constructors

Link copied to clipboard
constructor(context: TraceContext, roots: List<TRTracePoint>)

Properties

Link copied to clipboard
val context: TraceContext
Link copied to clipboard