Enum VerifyCaseOutcome 

pub enum VerifyCaseOutcome {
    Pass,
    Skipped,
    SkippedAfterBaseFail,
    Mismatch {
        expected: String,
        actual: String,
    },
    RuntimeError {
        error: String,
    },
    UnexpectedErr {
        err_repr: String,
    },
}

Variants

Pass

Skipped

SkippedAfterBaseFail

Hostile-profile case for a case_expr whose un-effected base case already failed. Aver doesn’t run the VM for these — the counter-example is the base failure itself; the per-profile follow-ups would only re-confirm the same case under harder worlds. Distinct from Skipped (which is when-driven and drives the vacuous-under-hostile warning).

Mismatch

Fields

expected: String

actual: String

RuntimeError

Fields

error: String

UnexpectedErr

Fields

err_repr: String

Trait Implementations

impl Clone for VerifyCaseOutcome

fn clone(&self) -> VerifyCaseOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyCaseOutcome

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

Formats the value using the given formatter.