Enum MachineError 

pub enum MachineError {
    Terminated,
    Step(String),
    Snapshot(String),
}

Why a macrostep could not be run.

Variants

Terminated

The session has terminated.

Step(String)

The interpreter refused the input (budget exceeded, datamodel failure).

Snapshot(String)

A snapshot could not be restored.

Trait Implementations

impl Clone for MachineError

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 MachineError

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

Formats the value using the given formatter.

impl Display for MachineError

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

Formats the value using the given formatter.

impl PartialEq for MachineError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MachineError