Enum tendermint_testgen::apalache::ApalacheRun

pub enum ApalacheRun {
    Counterexample(CommandRun),
    NoCounterexample(CommandRun),
    Deadlock(CommandRun),
    ModelError(CommandRun),
    Unknown(CommandRun),
    Timeout(CommandRun),
}

Variants

Counterexample(CommandRun)

Apalache has found a counterexample

NoCounterexample(CommandRun)

Apalache has not found a counterexample up to specified length bound

Deadlock(CommandRun)

Apalache has found a deadlock

ModelError(CommandRun)

Apalache model checking run failed (e.g. a parsing error)

Unknown(CommandRun)

Apalache returned an unknown error code

Timeout(CommandRun)

The tool has reached the specified timeout without producing an answer

Implementations

impl ApalacheRun

pub fn message(&self) -> &str