Expand description
Failure diagnosis helper for simulation invariant violations.
When an invariant is violated, the diagnosis helper walks backward through the trace to find the most likely root cause: which fault, at which tick, on which node, led to the violation.
Structs§
- Causal
Event - A significant event in the causal chain.
- Diagnosis
Report - Result of diagnosing an invariant violation.
- Fault
Cause - A fault event identified as a potential root cause.
- Violation
Info - Lightweight violation info for diagnosis (avoids coupling to vortex-check).
Functions§
- diagnose
- Diagnose an invariant violation by examining the trace.