From c2d0d0dd1f069749e1ee19e5203af048e0b26f1c Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 27 Feb 2013 15:42:17 -0800 Subject: [PATCH 1/1] model: bugfix - correct the "equality" check for RR coherence I made a typo when adding this RR coherence edge. --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model.cc b/model.cc index bfb63e4..152e36e 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; } } -- 2.34.1