Struct Report 

pub struct Report {
    pub result: Option<i64>,
    pub runs: usize,
    pub flips_verified: usize,
    pub sinks: Vec<SinkRec>,
    pub properties: Vec<PropertyRec>,
    pub flips: Vec<FlipRec>,
    pub gaps: Vec<String>,
    pub exhausted: bool,
}

The session report - the architecture-neutral subset of the engine report that the diagnosis layer reads.

Fields

result: Option<i64>

The base run’s result, when it returned.

runs: usize

Concrete runs spent.

flips_verified: usize

Flips the reference engine verified.

sinks: Vec<SinkRec>

Sinks reached.

properties: Vec<PropertyRec>

Property queries posed.

flips: Vec<FlipRec>

Every flip attempt.

gaps: Vec<String>

Gap notes, verbatim from the frontend.

exhausted: bool

The frontier emptied inside the budgets.

Trait Implementations

impl Clone for Report

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Report

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

Formats the value using the given formatter.

impl Default for Report

fn default() -> Self

Returns the “default value” for a type.