Struct RecompileReport 

pub struct RecompileReport {
    pub components: usize,
    pub flows: usize,
    pub invariants: usize,
    pub drift: usize,
    pub boundaries: usize,
}

Fields

components: usize

flows: usize

invariants: usize

drift: usize

Number of drift findings emitted at stage 5 (against the freshly compiled model).

boundaries: usize

Number of trust-boundary crossing edges at stage 6.

Trait Implementations

impl Clone for RecompileReport

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 RecompileReport

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

Formats the value using the given formatter.

impl Default for RecompileReport

fn default() -> Self

Returns the “default value” for a type.