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.
- 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.