| 349 | } |
| 350 | |
| 351 | void after() |
| 352 | { |
| 353 | int item; |
| 354 | while (q.try_dequeue(item)) { |
| 355 | RL_ASSERT(!seen[item]); |
| 356 | seen[item] = true; |
| 357 | } |
| 358 | for (auto s : seen) { |
| 359 | RL_ASSERT(s); |
| 360 | } |
| 361 | } |
| 362 | |
| 363 | void invariant() |
| 364 | { |
nothing calls this directly
no test coverage detected