projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d28be49) | patch
deque: add test driver, add print messages for now for resize method and if we pull...
authorBrian Demsky <bdemsky@uci.edu>
Thu, 7 Mar 2013 02:58:10 +0000 (18:58 -0800)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 7 Mar 2013 02:58:10 +0000 (18:58 -0800)
commitb2f7bb95913baa71483d088402a32d5ca64b56f7
tree9de5311c57094be5be76703478dae1efa102c59ctree | snapshot
parentd28be4986beab3803e7c721aea739b672205e17fcommit | diff
deque: add test driver, add print messages for now for resize method and if we pull the wrong values

test case exposes model checker bugs :(
Makefile diff | blob | history
chase-lev-deque/Makefile diff | blob | history
chase-lev-deque/deque.c diff | blob | history
chase-lev-deque/main.c [new file with mode: 0644] blob
C++11 memory model checker benchmarks