Function shuttle::check_uncontrolled_nondeterminism

source ยท
pub fn check_uncontrolled_nondeterminism<F>(f: F, max_iterations: usize)
where F: Fn() + Send + Sync + 'static,
Expand description

Run the given function under a scheduler that checks whether the function contains randomness which is not controlled by Shuttle. Each iteration will check a different random schedule and replay that schedule once.