Struct modelator::model::checker::ApalacheError [−][src]
pub struct ApalacheError { /* fields omitted */ }
Expand description
Contains an Apalache stdout string together with a summary string containing either the line of a matched error, or a string explaining that no error match was found.
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl RefUnwindSafe for ApalacheError
impl Send for ApalacheError
impl Sync for ApalacheError
impl Unpin for ApalacheError
impl UnwindSafe for ApalacheError
Blanket Implementations
Mutably borrows from an owned value. Read more
pub fn vzip(self) -> V
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more