Struct Report 

pub struct Report {
    pub verdicts: Vec<Verdict>,
}

What became of a rule set.

Fields

verdicts: Vec<Verdict>

One verdict per rule, in the order the rules were given.

Implementations

impl Report

pub fn discharged(&self) -> usize

How many rules were discharged at their own width.

pub fn bounded(&self) -> usize

How many rules got a bounded proof instead.

spec/15-testing.md section 15.5 asks for this number to be reported rather than merely known, because it going up is the signal that the rule set is drifting towards claims nobody is checking at the width the compiler runs at.

pub fn all_discharged(&self) -> bool

Whether every rule was discharged at its own width. A bounded proof is not one of these.

pub fn accepted(&self) -> bool

Whether every rule may enter the rule set, which allows a bounded proof and allows nothing else. A solver that gave up is not a pass, because “we could not tell” is not “it is correct”.

Trait Implementations

impl Clone for Report

fn clone(&self) -> Report

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() -> Report

Returns the “default value” for a type.

impl Display for Report

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

One line, which is what a build prints and what a person reads in a log.

impl Eq for Report

impl PartialEq for Report

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Report