Struct InterpretationSummary 

pub struct InterpretationSummary {
    pub iterations: u32,
    pub converged: bool,
    pub alarm_count: usize,
    pub proven_safe: bool,
}

A summary of an abstract interpretation run.

Fields

iterations: u32

converged: bool

alarm_count: usize

proven_safe: bool

Implementations

impl InterpretationSummary

pub fn new(iterations: u32, converged: bool, alarm_count: usize) -> Self

Create a new summary.

pub fn describe(&self) -> String

Format a brief description.

Trait Implementations

impl Clone for InterpretationSummary

fn clone(&self) -> InterpretationSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InterpretationSummary

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

Formats the value using the given formatter.