1to1 selective wakeup: add misorder injection test
[urcu.git] / ooomem-two-writes / read_order.ltl
... / ...
CommitLineData
1[] (read_one_is_one || read_two_is_one)
This page took 0.021943 seconds and 4 git commands to generate.