Struct Report 

pub struct Report {
    pub rows: Vec<Row>,
}

Every step’s row, in step-table order.

Fields

rows: Vec<Row>

One row per step.

Implementations

impl Report

pub fn unsatisfied(&self) -> usize

The applicable steps whose desired state does not hold.

pub fn unknown(&self) -> usize

The applicable steps the observation could not decide.

pub fn judged(&self) -> usize

The steps the run acted on.

pub fn checkpointable(&self) -> bool

Whether this observation may become a setup proof: every applicable step holds or was skipped by its own condition, and nothing is unknown.

SATISFIES setup-proof:a-checkpoint-records-only-a-complete-observation

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.