Expand description
Summaries of complete hermit runs.
Structs§
- Dispatch
Stats - The backend dispatch record a run summary carries, re-exported so readers of summaries and verification reports need no direct Reverie dependency. The shared end-of-run dispatch record for one backend run.
- Path
Evidence - Per-execution SaBRe path evidence written as one JSON object per line.
- RunSummary
- Statistics that summarize a hermit run.
- RunSummary
Info - INFO view built with the producer’s preemption description, before its host destination is appended. It does not alter the full report or serialized fields.
- Timeslice
Stats - Running distribution statistics over timeslice durations, measured in virtual
nanoseconds. A “timeslice” is the span of virtual time a thread runs between
two consecutive scheduler yields (i.e. between
end_of_timesliceresets).