projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 942ca53) | patch
tests: add releaseseq test
authorBrian Norris <banorris@uci.edu>
Fri, 14 Sep 2012 20:12:42 +0000 (13:12 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 18 Sep 2012 20:27:11 +0000 (13:27 -0700)
commitc27cd2246700b671d0efb1cafd8bbc1ef2c90535
tree56bdf69fdb30d44d26363903b7e41bd34d4b678dtree | snapshot
parent942ca53513b4c50f3f73bc4b123c3552dbc71ca6commit | diff
tests: add releaseseq test

Very simple release/acquire test, with some relaxed writes thrown in. The test
is semi-useful and can certainly be tweaked a bit.
test/releaseseq.c [new file with mode: 0644] blob
C++11 memory model checker