Struct ModelReport 

pub struct ModelReport { /* private fields */ }

Available on crate features testing only.

Failures and skipped checks of one model.

Implementations

impl ModelReport

pub fn model_id(&self) -> &str

Id of the model checked.

pub fn failures(&self) -> &[CheckFailure]

Checks that failed, each with its message.

pub fn skipped(&self) -> &[SkippedCheck]

Checks skipped, each with its reason: an exemption, a declared property, or a missing device.

pub fn thread_count_jobs(&self) -> Option<usize>

Number of jobs a step split into when ModelCheck::ThreadCount passed, None when it did not run to a pass.

pub fn passed(&self) -> bool

Returns whether no check failed.

pub fn skip_reason(&self, check: ModelCheck) -> Option<&SkipReason>

Returns the reason check was skipped, or None when it ran.

pub fn assert_passed(&self)

Asserts that no check failed.

Panics

Panics with a summary line naming the failed checks, then every failure.

Trait Implementations

impl Debug for ModelReport

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

Formats the value using the given formatter.

impl Display for ModelReport

Writes a summary line, then every failure and every skipped check, one to a line.

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

Formats the value using the given formatter.