in src/scheduler/dfs.rs [51:65]
fn new_execution(&mut self) -> Option<Schedule> {
if self.max_iterations.map(|mi| self.iterations >= mi).unwrap_or(false) {
return None;
}
// If there are no more choices to make at any level, we're done
if self.iterations > 0 && !self.has_more_choices(0) {
return None;
}
self.iterations += 1;
self.steps = 0;
Some(Schedule::new(self.data_source.reinitialize()))
}