Function shuttle::replay_from_file
source ยท pub fn replay_from_file<F, P>(f: F, path: P)
Expand description
Run the given function according to a schedule saved in the given file, 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_file
.