From: Brian Norris <banorris@uci.edu>
Date: Wed, 27 Feb 2013 23:42:17 +0000 (-0800)
Subject: model: bugfix - correct the "equality" check for RR coherence
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=c2d0d0dd1f069749e1ee19e5203af048e0b26f1c

model: bugfix - correct the "equality" check for RR coherence

I made a typo when adding this RR coherence edge.
---

diff --git a/model.cc b/model.cc
index bfb63e48..152e36ec 100644
--- a/model.cc
+++ b/model.cc
@@ -1770,7 +1770,7 @@ bool ModelChecker::r_modification_order(ModelAction *curr, const rf_type *rf)
 					if (prevrf) {
 						if (!prevrf->equals(rf))
 							added = mo_graph->addEdge(prevrf, rf) || added;
-					} else if (!prevrf->equals(rf)) {
+					} else if (!prevrf_promise->equals(rf)) {
 						added = mo_graph->addEdge(prevrf_promise, rf) || added;
 					}
 				}