Function shuttle::check_dfs [−][src]
pub fn check_dfs<F>(f: F, max_iterations: Option<usize>) where
F: Fn() + Send + Sync + 'static,
Expand description
Run the given function under a depth-first-search scheduler until all interleavings have been explored (but if the max_iterations bound is provided, stop after that many iterations).