projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f919e0) | patch
ms-queue: bugfix - get_ptr() and get_count() were switched
authorBrian Norris <banorris@uci.edu>
Wed, 6 Mar 2013 02:17:49 +0000 (18:17 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Mar 2013 02:20:34 +0000 (18:20 -0800)
commitd3c94c5b4370fc71d1c12272af29b3a95178f4bd
tree56321c4bd756db8598b06551fc491700d0ad4231tree | snapshot
parent4f919e0a75b2bbc708bee3d109349fe24e4b264ccommit | diff
ms-queue: bugfix - get_ptr() and get_count() were switched

I ported the implementation wrong, so that we were extracting bits from
the wrong field.
ms-queue/my_queue.c diff | blob | history
ms-queue/my_queue.h diff | blob | history
C++11 memory model checker benchmarks