action/model: backtrack for seq-cst and release/acquire fences

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index d6ebfe5abc9f4e60920f9b08bed0112746c3afce..e92cd4b32e3bcc77e8f2389f03f89108ab97537d 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -521,6 +521,7 @@ bool ModelChecker::next_execution()
 ModelAction * ModelChecker::get_last_conflict(ModelAction *act)
 {
        switch (act->get_type()) {
+       case ATOMIC_FENCE:
        case ATOMIC_READ:
        case ATOMIC_WRITE:
        case ATOMIC_RMW: {