Struct Stats 

pub struct Stats {
    pub attempted: u64,
    pub passed: u64,
    pub vacuous: u64,
    pub failed: u64,
    pub disabled: u64,
    pub matched: u64,
    pub killed: u64,
}

Running counters (16.14.3 for covers; the attempt counter includes disabled attempts, the others do not).

Fields

attempted: u64

passed: u64

Successes, vacuous ones included (at most one per attempt).

vacuous: u64

Of passed, the ones that were vacuous successes (16.14.8: “succeeded because of vacuity”).

failed: u64

disabled: u64

matched: u64

killed: u64

Attempts discarded by a control action (39.5.2 vpiAssertionKill, $assertkill).

Trait Implementations

impl Clone for Stats

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Stats

impl Debug for Stats

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

Formats the value using the given formatter.

impl Default for Stats

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Stats

impl PartialEq for Stats

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Stats