projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 36cb4cb)
test: fences: add simple, semi-useful fence tests
authorBrian Norris <banorris@uci.edu>
Fri, 22 Feb 2013 07:18:18 +0000 (23:18 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 22 Feb 2013 17:43:42 +0000 (09:43 -0800)
Note that due to the quirks discovered in double-read-fv, we don't see
all the expected behaviors in the fences2 test.


No differences found
C++11 memory model checker