Enum Finding 

#[non_exhaustive]
pub enum Finding {
    Verified {
        outcome: String,
    },
    Diverged(Divergence),
    OutcomeDiffers {
        recorded: String,
        replayed: String,
    },
    CannotReplay(CannotReplay),
}

What the replay found.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Verified

Every recorded effect was asked for again, in order, and the run reached the ending it recorded — a recorded failure included, since the recorded ending is what is verified, not whether it was a success.

Fields

outcome: String

Diverged(Divergence)

This build asked for a different effect, more effects, or fewer.

OutcomeDiffers

Every effect matched and the run still ended differently.

Fields

recorded: String

replayed: String

CannotReplay(CannotReplay)

The run cannot be re-derived here, for a reason that is not the edit.

Trait Implementations

impl Clone for Finding

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Finding

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

Formats the value using the given formatter.

impl Eq for Finding

impl PartialEq for Finding

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Finding