projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 7616e16)
tests: add some normal loads/stores to test data races
authorBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 05:19:01 +0000 (22:19 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 05:22:52 +0000 (22:22 -0700)
These tests had become less useful, since the model-checker would ignore
release sequence fixup in the absence of pending data races. So add some
normal loads and stores to our tests, inducing some data races and some
proper synchronization.


No differences found
C++11 memory model checker