Enum CheckOutcome 

pub enum CheckOutcome {
    Pass,
    Fail {
        detail: String,
    },
    NotRun {
        reason: String,
    },
}

The verdict for a single lesson check.

A sum type, not a bool, so per-check verdicts stay distinct and the grader never folds them into one aggregate (§1.2). Three real states: the check passed, the submission ran and violated it, and — kept deliberately separate from a failure (§3.3) — the submission could not run at all, so no check ever got a verdict.

Serializable so the run command’s RunReport can carry the per-check outcomes into its JSON form; the externally-tagged shape round-trips each variant losslessly.

Variants

Pass

The submission satisfied the check.

Fail

The check ran and the submission violated it.

Fields

detail: String

What the interpreter wrote when the check failed — typically the failing assertion on stderr.

NotRun

The submission could not be executed at all (a syntax error, or the interpreter failed to launch), so this check never ran. Distinct from Fail: the submission was never even evaluated.

Fields

reason: String

Why the submission could not run — the interpreter’s diagnostic, or the launch error.

Trait Implementations

impl Clone for CheckOutcome

fn clone(&self) -> CheckOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckOutcome

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CheckOutcome

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CheckOutcome

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for CheckOutcome

impl StructuralPartialEq for CheckOutcome