Enum AssayOutcome 

pub enum AssayOutcome {
    Passed(PredictedClosureReport),
    Repair {
        report: PredictedClosureReport,
        repairs: ProjectionRepairSet,
    },
}

One assay row either matches its frozen oracle or enters bounded repair.

Variants

Passed(PredictedClosureReport)

Exact expected closure and every row contract passed.

Repair

The report is retained with the canonical bounded repair set.

Fields

report: PredictedClosureReport

Failed prediction.

repairs: ProjectionRepairSet

Exact locations to repair.

Trait Implementations

impl Clone for AssayOutcome

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 AssayOutcome

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

Formats the value using the given formatter.

impl Eq for AssayOutcome

impl PartialEq for AssayOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AssayOutcome