Enum tendermint_testgen::apalache::ApalacheRun [−][src]
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
Auto Trait Implementations
impl RefUnwindSafe for ApalacheRun
impl Send for ApalacheRun
impl Sync for ApalacheRun
impl Unpin for ApalacheRun
impl UnwindSafe for ApalacheRun