Function shuttle::replay

pub fn replay<F>(f: F, encoded_schedule: &str)
where
    F: Fn() + Send + Sync + 'static,

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.