trace/org.jetbrains.lincheck.trace/TraceWithContext/TraceWithContext

TraceWithContext

constructor(context: TraceContext, roots: List<TRTracePoint>)