projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 086fd3b) | patch
test: add double-read-fv
authorBrian Norris <banorris@uci.edu>
Fri, 22 Feb 2013 07:17:21 +0000 (23:17 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 22 Feb 2013 17:43:42 +0000 (09:43 -0800)
commita25df039765695dbb7cdf12d01d5a6adb773ab84
treeabd6f6d34a6efc383f7b7cb1d57a85d8f894c028tree | snapshot
parent086fd3b2eae9320656cec2010c69dd70e4a0832acommit | diff
test: add double-read-fv

This test fails (!) because we never see r1 = r2 = 42.
test/double-read-fv.c [new file with mode: 0755] blob
C++11 memory model checker