end_and_diff

Function end_and_diff 

Source
pub fn end_and_diff(max_report: usize) -> Option<String>
Expand description

2026-09-26: Stop recording and diff this trace against the previous one. Returns None on the first call, else a report of how many ops differ, detailing at most max_report of them.