Enum ExpectedOutcome 

pub enum ExpectedOutcome {
    Feasible {
        min_confidence: f64,
        required_invariants: Vec<String>,
    },
    Infeasible {
        expected_violations: Vec<String>,
    },
    GateDecision {
        decision: GateDecision,
    },
    Deterministic {
        expected_output: Value,
    },
}

Expected outcome of a test scenario

Variants

Feasible

Should find a feasible solution

Fields

min_confidence: f64

Minimum confidence score expected

required_invariants: Vec<String>

Invariants that must pass

Infeasible

Should report infeasible

Fields

expected_violations: Vec<String>

Expected constraint violations

GateDecision

Should match specific gate decision

Fields

decision: GateDecision

Expected decision

Deterministic

Should produce deterministic output

Fields

expected_output: Value

Expected output hash or value

Trait Implementations

impl Clone for ExpectedOutcome

fn clone(&self) -> ExpectedOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExpectedOutcome

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

Formats the value using the given formatter.