Struct DeterminismResult 

pub struct DeterminismResult {
    pub deterministic: bool,
    pub divergence_at: Option<usize>,
    pub divergence_description: Option<String>,
    pub run1_events: usize,
    pub run2_events: usize,
}

Result of a determinism check.

Fields

deterministic: bool

Whether the two runs produced identical traces.

divergence_at: Option<usize>

First diverging event index (if any).

divergence_description: Option<String>

Description of the divergence (if any).

run1_events: usize

Number of events in run 1.

run2_events: usize

Number of events in run 2.

Implementations

impl DeterminismResult

pub fn is_deterministic(&self) -> bool

Whether the simulation is deterministic.

Trait Implementations

impl Clone for DeterminismResult

fn clone(&self) -> DeterminismResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeterminismResult

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

Formats the value using the given formatter.