Struct stateright::PathRecorder
source · pub struct PathRecorder<M: Model>(_);
Expand description
A CheckerVisitor
that records paths visited by the model checker.
Example
let (recorder, accessor) = PathRecorder::new_with_accessor();
model.checker().visitor(recorder).spawn_dfs().join();
assert_eq!(accessor(), expected_paths);
Implementations§
Trait Implementations§
Auto Trait Implementations§
impl<M> RefUnwindSafe for PathRecorder<M>
impl<M> Send for PathRecorder<M>where <M as Model>::Action: Send, <M as Model>::State: Send,
impl<M> Sync for PathRecorder<M>where <M as Model>::Action: Send, <M as Model>::State: Send,
impl<M> Unpin for PathRecorder<M>
impl<M> UnwindSafe for PathRecorder<M>
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