Struct SimulationReport 

pub struct SimulationReport {

    pub iterations: usize,
    pub successful_runs: usize,
    pub failed_runs: usize,
    pub metrics: SimulationMetrics,
    pub individual_metrics: Vec<SimulationResult<SimulationMetrics>>,
    pub seeds_used: Vec<u64>,
    pub seeds_failing: Vec<u64>,
    pub assertion_results: HashMap<String, AssertionStats>,
    pub assertion_violations: Vec<String>,
    pub coverage_violations: Vec<String>,
    pub exploration: Option<ExplorationReport>,
    pub assertion_details: Vec<AssertionDetail>,
    pub bucket_summaries: Vec<BucketSiteSummary>,
}

Comprehensive report of a simulation run with statistical analysis.

Fields

iterations: usize

Number of iterations executed

successful_runs: usize

Number of successful runs

failed_runs: usize

Number of failed runs

metrics: SimulationMetrics

Aggregated metrics across all runs

individual_metrics: Vec<SimulationResult<SimulationMetrics>>

Individual metrics for each iteration

seeds_used: Vec<u64>

Seeds used for each iteration

seeds_failing: Vec<u64>

failed seeds

assertion_results: HashMap<String, AssertionStats>

Aggregated assertion results across all iterations

assertion_violations: Vec<String>

Always-type assertion violations (definite bugs).

coverage_violations: Vec<String>

Coverage assertion violations (sometimes/reachable not satisfied).

exploration: Option<ExplorationReport>

Exploration report (present when fork-based exploration was enabled).

assertion_details: Vec<AssertionDetail>

Per-assertion detailed breakdown from shared memory slots.

bucket_summaries: Vec<BucketSiteSummary>

Per-site summaries of assert_sometimes_each! buckets.

Implementations

impl SimulationReport

pub fn success_rate(&self) -> f64

Calculate the success rate as a percentage.

pub fn average_wall_time(&self) -> Duration

Get the average wall time per iteration.

pub fn average_simulated_time(&self) -> Duration

Get the average simulated time per iteration.

pub fn average_events_processed(&self) -> f64

Get the average number of events processed per iteration.

Trait Implementations

impl Clone for SimulationReport

fn clone(&self) -> SimulationReport

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SimulationReport

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for SimulationReport

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.