Enable limiting the depth traversed by the checker
jeffa5 opened this issue · comments
Similar to the target_state_count, which limits the total number of states, it would be nice to limit the maximum depth to be explored.
A similar CheckerBuilder::target_max_depth would be appropriate.