Enum StageSkipReason 

pub enum StageSkipReason {
    Network,
    Llm,
    NonDeterministic,
    Process,
    NoExamples,
    NoImplementation,
}

Why a stage’s behavioral verification is not meaningful.

Variants

Network

Stage carries Effect::Network.

Llm

Stage carries Effect::Llm.

NonDeterministic

Stage carries Effect::NonDeterministic.

Process

Stage carries Effect::Process — touches external process state.

NoExamples

Stage has no examples to verify against.

NoImplementation

Executor reports no implementation for this stage ID.

Trait Implementations

impl Clone for StageSkipReason

fn clone(&self) -> StageSkipReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StageSkipReason

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

Formats the value using the given formatter.

impl Display for StageSkipReason

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

Formats the value using the given formatter.

impl PartialEq for StageSkipReason

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

impl Eq for StageSkipReason

impl StructuralPartialEq for StageSkipReason