Struct modelator::artifact::ModelCheckerStdout [−][src]
pub struct ModelCheckerStdout { /* fields omitted */ }
Expand description
Ultra-basic wrapper around stdout of model checker execution NOTE: This is a stand in and will be changed soon.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for ModelCheckerStdout
impl Send for ModelCheckerStdout
impl Sync for ModelCheckerStdout
impl Unpin for ModelCheckerStdout
impl UnwindSafe for ModelCheckerStdout
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