fn record_pass<T: LazyBalanceMarker, M: ManualBalanceModel<T>>(
results: &mut BalanceModelResults<T, M>,
trace: &[BalanceOp<T, M>],
traps: Option<&String>,
)Expand description
Records a successful execution for the given trace.
Marks the sequence as passed. Behavior is identical regardless of traps.