Expand description
Simulation metrics and reporting.
This module provides types for collecting and reporting simulation results.
Structs§
- Assertion
Detail - Detailed information about a single assertion slot.
- Bucket
Site Summary - Summary of one
assert_sometimes_each!site (grouped by msg). - BugRecipe
- A captured bug recipe with its root seed for deterministic replay.
- Exploration
Report - Report from fork-based exploration.
- Saturation
Report - Outcome of an
UntilCoverageStablerun: which signal it plateaued on and the final coverage numbers, so the report can name the stop reason explicitly. - Simulation
Metrics - Core metrics collected during a simulation run.
- Simulation
Report - Comprehensive report of a simulation run with statistical analysis.
Enums§
- Assertion
Status - Pass/fail/miss status for an assertion in the report.
- Saturation
Signal - Which progress signal an
UntilCoverageStablerun plateaued on.