Enum tendermint_testgen::apalache::ApalacheRun
source · 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 Freeze for ApalacheRun
impl RefUnwindSafe for ApalacheRun
impl Send for ApalacheRun
impl Sync for ApalacheRun
impl Unpin for ApalacheRun
impl UnwindSafe for ApalacheRun
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more