Function shuttle::replay [−][src]
pub fn replay<F>(f: F, encoded_schedule: &str) where
F: Fn() + Send + Sync + 'static,
Expand description
Run the given function according to a given encoded schedule, usually produced as the output of a failing Shuttle test case.
This function allows deterministic replay of a failing schedule, as long as f
contains no
non-determinism other than that introduced by scheduling.
This is a convenience function for constructing a Runner
that uses
ReplayScheduler::new_from_encoded
.