Enum ProofVerdict 

pub enum ProofVerdict {
    ProvenTrue,
    ProvenFalse,
    Unknown,
}

The verdict of a live proof at a breakpoint — whether a predicate is statically guaranteed across every run (ProvenTrue), statically refuted (ProvenFalse), or undecided from the proven facts (Unknown, where only the concrete check speaks).

Variants

ProvenTrue

ProvenFalse

Unknown

Trait Implementations

impl Clone for ProofVerdict

fn clone(&self) -> ProofVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofVerdict

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

Formats the value using the given formatter.

impl PartialEq for ProofVerdict

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ProofVerdict

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 ProofVerdict