Struct GateTally 

pub struct GateTally {
    pub fails: usize,
}

ALL-GREEN tally: gates print per-case lines and exit nonzero on any failure. check returns the condition so call sites keep their inline { ... "FAIL" } style or use it directly.

Fields

fails: usize

Implementations

impl GateTally

pub fn check(&mut self, label: &str, ok: bool) -> bool

pub fn finish(&self, what: &str) -> Result<(), String>

Terminal verdict in the kernel-check contract: prints ALL GREEN or returns Err.

Trait Implementations

impl Default for GateTally

fn default() -> GateTally

Returns the “default value” for a type.