| 300 | } |
| 301 | |
| 302 | void after() |
| 303 | { |
| 304 | int tid0, tid1; |
| 305 | RL_ASSERT(q.try_dequeue(tid0)); |
| 306 | RL_ASSERT(tid0 == 0 || tid0 == 1); |
| 307 | RL_ASSERT(q.try_dequeue(tid1)); |
| 308 | RL_ASSERT(tid1 == 0 || tid1 == 1); |
| 309 | RL_ASSERT(tid0 != tid1); |
| 310 | RL_ASSERT(!q.try_dequeue(tid0)); |
| 311 | } |
| 312 | |
| 313 | void invariant() |
| 314 | { |
nothing calls this directly
no test coverage detected