Enum VerifierResult 

pub enum VerifierResult {
    Correct,
    Counterexample(Vec<String>),
    Unknown,
}

The result of a CEGIS verification query.

Variants

Correct

The candidate program satisfies the specification for all inputs.

Counterexample(Vec<String>)

A counterexample was found: the given input violates the spec.

Unknown

Verification was inconclusive (timeout or undecidable fragment).

Trait Implementations

impl Clone for VerifierResult

fn clone(&self) -> VerifierResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifierResult

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

Formats the value using the given formatter.

impl PartialEq for VerifierResult

fn eq(&self, other: &VerifierResult) -> 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 Eq for VerifierResult

impl StructuralPartialEq for VerifierResult