projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a25df03) | patch
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)
commit36cb4cb1d9ac17a2eabde158deb033cfdc7993fd
tree19bd3cb25b03cf351e6ad40294af136fb89dde44tree | snapshot
parenta25df039765695dbb7cdf12d01d5a6adb773ab84commit | diff
test: fences: add simple, semi-useful fence tests

Note that due to the quirks discovered in double-read-fv, we don't see
all the expected behaviors in the fences2 test.
test/fences.c [new file with mode: 0644] blob
test/fences2.c [new file with mode: 0644] blob
C++11 memory model checker