| 241 | } |
| 242 | |
| 243 | int |
| 244 | DFSRndNumGenerator::revisit_node(DFSRndNumGenerator::SearchState *state, int local_current_pos, |
| 245 | int bound, const Filter *filter, const string *) |
| 246 | { |
| 247 | int rv = state->value(); |
| 248 | if (filter) { |
| 249 | if (rv >= bound) { |
| 250 | state->dump(""); |
| 251 | dumpCurrentState(bound, ""); |
| 252 | cout << "rv = " << rv << ", bound = " << bound << std::endl; |
| 253 | assert(0); |
| 254 | } |
| 255 | |
| 256 | filter->filter(rv); |
| 257 | |
| 258 | ERROR_GUARD(-1); |
| 259 | |
| 260 | assert(current_pos_ < CGOptions::max_exhaustive_depth()); |
| 261 | |
| 262 | } |
| 263 | seq_->add_number(rv, bound, local_current_pos); |
| 264 | return rv; |
| 265 | } |
| 266 | |
| 267 | bool |
| 268 | DFSRndNumGenerator::filter_invalid_nums(vector<int> *invalid_nums, int v) |
nothing calls this directly
no test coverage detected