| 363 | } |
| 364 | |
| 365 | int |
| 366 | DepthSpec::backtracking(int depth_needed) |
| 367 | { |
| 368 | DFSRndNumGenerator *impl = dynamic_cast<DFSRndNumGenerator*>(RandomNumber::GetRndNumGenerator()); |
| 369 | if(impl->eager_backtracking(depth_needed)) |
| 370 | return BAD_DEPTH; |
| 371 | else |
| 372 | return GOOD_DEPTH; |
| 373 | } |
| 374 | |
| 375 | int |
| 376 | DepthSpec::depth_guard_by_depth(int depth_needed) |
nothing calls this directly
no test coverage detected