projects / c11tester.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: f47ffb5)
action/model: backtrack for seq-cst and release/acquire fences
authorBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 00:00:33 +0000 (16:00 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 00:00:33 +0000 (16:00 -0800)
Extends backtracking support to explore all interleavings of conflicting
seq-cst fences and potentially-synchronizing write/read/fence pairs.


No differences found
C11 Tester Tool Public Repository