Struct SimulationResult 

pub struct SimulationResult {
    pub trace: Vec<TraceEvent>,
    pub states: Vec<AgentState>,
    pub convergence: ConvergenceReport,
    pub interesting_state_reached: bool,
}

Completed simulation run with trace and convergence output.

Fields

trace: Vec<TraceEvent>

Full deterministic execution trace.

states: Vec<AgentState>

Final per-agent states after drain.

convergence: ConvergenceReport

Convergence report from oracle.

interesting_state_reached: bool

Whether at least one interesting fault state occurred.

Implementations

impl SimulationResult

pub fn trace_fingerprint(&self) -> u64

Stable fingerprint for comparing traces across reruns.

Trait Implementations

impl Clone for SimulationResult

fn clone(&self) -> SimulationResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimulationResult

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

Formats the value using the given formatter.

impl PartialEq for SimulationResult

fn eq(&self, other: &SimulationResult) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SimulationResult

impl StructuralPartialEq for SimulationResult