Enum AssertKind 

pub enum AssertKind {
    Assert,
    Assume,
    CoverProperty,
    CoverSequence,
    Restrict,
    Expect,
}

What a concurrent assertion statement is (16.14.1-16.14.5).

Variants

Assert

assert property: failures and successes run the action block.

Assume

assume property: checked as assert in simulation (16.14.2).

CoverProperty

cover property: counts and runs the pass statement per successful attempt (16.14.3).

CoverSequence

cover sequence: counts and runs the pass statement per match.

Restrict

restrict property: never checked in simulation (16.14.5).

Expect

The expect statement (16.17): a procedural blocking statement that starts one evaluation thread on the clocking event strictly after its own step and reports its single outcome. Judged as an assert is.

Trait Implementations

impl Clone for AssertKind

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 AssertKind

impl Debug for AssertKind

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

Formats the value using the given formatter.

impl Eq for AssertKind

impl PartialEq for AssertKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AssertKind