Struct SaturationReport 

pub struct SaturationReport {
    pub signal: SaturationSignal,
    pub edges_covered: usize,
    pub edges_total: usize,
    pub sometimes_hit: usize,
    pub sometimes_total: usize,
    pub plateau_seeds: usize,
}

Outcome of an UntilCoverageStable run: which signal it plateaued on and the final coverage numbers, so the report can name the stop reason explicitly.

Fields

signal: SaturationSignal

The progress signal counted toward the plateau.

edges_covered: usize

Code edges covered (meaningful only when signal == CodeCoverage).

edges_total: usize

Total instrumented code edges (meaningful only when signal == CodeCoverage).

sometimes_hit: usize

Number of observed sometimes/reachable assertions that fired.

sometimes_total: usize

Total number of observed sometimes/reachable assertions.

plateau_seeds: usize

Consecutive quiet seeds required to declare saturation.

Trait Implementations

impl Clone for SaturationReport

fn clone(&self) -> SaturationReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SaturationReport

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

Formats the value using the given formatter.