projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49dd0f6) | patch
litmus: wrc: add macro for memory ordering
authorBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 01:25:24 +0000 (17:25 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 01:25:24 +0000 (17:25 -0800)
commit558639859f57b469b0b0c1a16690262a277c9f30
tree87a72d6e798a6b4fb3545cfb3a0241c560eeb532tree | snapshot
parent49dd0f6c667d9ab2a92301f230de60890f8c0c57commit | diff
litmus: wrc: add macro for memory ordering

For manual inspection of these tests, one might want to change the
memory-ordering for the loads/stores.

Note that this changes the default to use relaxed.
test/litmus/wrc.cc diff | blob | history
C++11 memory model checker