Struct RunReport 

pub struct RunReport {
    pub rounds_run: usize,
    pub nodes_processed: usize,
    pub nodes_failed: usize,
    pub reached_fixpoint: bool,
    pub cancelled: bool,
    pub violations: Vec<Violation>,
}

Summary of a single Engine::run.

Interpretation: reached_fixpoint means every node settled. If neither reached_fixpoint nor cancelled is set, the run consumed all its rounds with work left over — typically nodes still Unparsed because the schedule has no pass for their round. Query ParseTree::pending to find them.

Fields

rounds_run: usize

Number of rounds that processed at least one node.

nodes_processed: usize

Number of node/pass attempts executed.

nodes_failed: usize

Number of attempts whose outcome was a failure (including contract-violating expansions).

reached_fixpoint: bool

true if the run ended because no node had work left.

cancelled: bool

true if the run ended because the CancelToken fired.

violations: Vec<Violation>

Contract breaches the engine rejected during the run — a pass produced a child region it wasn’t allowed to produce (outside its parent, wrong revision, not smaller while enforce_shrink is set). Empty for well-behaved passes.

Trait Implementations

impl Clone for RunReport

fn clone(&self) -> RunReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RunReport

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

Formats the value using the given formatter.

impl Default for RunReport

fn default() -> RunReport

Returns the “default value” for a type.

impl Eq for RunReport

impl PartialEq for RunReport

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RunReport