projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: c27cd22)
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)
Very simple release/acquire test, with some relaxed writes thrown in. The test
is semi-useful and can certainly be tweaked a bit.


No differences found
C++11 memory model checker