Struct RunSummary 

pub struct RunSummary {
    pub seed: u64,
    pub steps: u64,
    pub fingerprint: u64,
    pub is_new_class: bool,
    pub violation_count: usize,
    pub certificate_hash: u64,
}

JSON-safe summary for a single run.

Fields

seed: u64

Seed used for the run.

steps: u64

Steps executed before completion.

fingerprint: u64

Foata fingerprint for the run’s trace.

is_new_class: bool

True if this run discovered a new equivalence class.

violation_count: usize

Number of invariant violations observed.

certificate_hash: u64

Hash of the schedule certificate for determinism checks.

Trait Implementations

impl Debug for RunSummary

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

Formats the value using the given formatter.

impl Serialize for RunSummary

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.