| 548 | } |
| 549 | |
| 550 | void after() |
| 551 | { |
| 552 | int item; |
| 553 | while (q.try_dequeue(item)) { |
| 554 | RL_ASSERT(!seen[item]); |
| 555 | seen[item] = true; |
| 556 | } |
| 557 | for (auto s : seen) { |
| 558 | RL_ASSERT(s); |
| 559 | } |
| 560 | } |
| 561 | |
| 562 | void invariant() |
| 563 | { |
nothing calls this directly
no test coverage detected