projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fd7e04) | patch
ms-queue: we should never dequeue 0
authorBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 23:06:06 +0000 (15:06 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 23:06:06 +0000 (15:06 -0800)
commit84452c7e91fa7f30f5ff80695d92816b5d209e38
tree1762aed08c4a4961862b7230d5b10dc4875a16b3tree | snapshot
parent7fd7e04652df0491d9ebf56da6a179e9b9ee2f05commit | diff
ms-queue: we should never dequeue 0

The test driver is written so that we should never dequeue 0.
ms-queue/main.c diff | blob | history
C++11 memory model checker benchmarks