Enum VerifyOutcome 

pub enum VerifyOutcome {
    NotPerformed,
    Passed,
    Failed,
}

What a verify node actually did.

Three states rather than a boolean, because “the check passed” and “there was no check” are different facts and a boolean can only tell you one of them. Agent IR records a verifier’s name and signature and carries no way to execute one, so a backend that cannot perform a check says so here instead of reporting a pass nothing earned.

See Runtime 0.2 §1.

Variants

NotPerformed

The backend has no implementation for this verifier. Not a failure: the property is simply unchecked, and the run says so.

Passed

Failed

Implementations

impl VerifyOutcome

pub fn describe(self) -> &'static str

pub fn is_failure(self) -> bool

Whether this outcome is a check that ran and said no.

Deliberately not !passed: a check that never ran has not failed, and treating it as a failure would be the mirror of the bug this type exists to fix.

Trait Implementations

impl Clone for VerifyOutcome

fn clone(&self) -> VerifyOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for VerifyOutcome

impl Debug for VerifyOutcome

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerifyOutcome

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for VerifyOutcome

impl PartialEq for VerifyOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for VerifyOutcome

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for VerifyOutcome