From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 12 Jun 2019 22:32:50 +0000 (-0400)
Subject: Don't do complete checks until we choose store to read from
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=48222f1152e4a990d875e329049ef0226d6c02f1;p=c11tester.git

Don't do complete checks until we choose store to read from
---

diff --git a/execution.cc b/execution.cc
index e253ab0f..968eacf0 100644
--- a/execution.cc
+++ b/execution.cc
@@ -1373,12 +1373,8 @@ ModelVector<ModelAction *> *  ModelExecution::build_may_read_from(ModelAction *c
 			}
 
 			if (allow_read) {
-				/* Only add feasible reads */
-				mo_graph->startChanges();
-				r_modification_order(curr, act);
-				if (!is_infeasible())
-					rf_set->push_back(act);
-				mo_graph->rollbackChanges();
+			  /* Only add feasible reads */
+			  rf_set->push_back(act);
 			}
 
 			/* Include at most one act per-thread that "happens before" curr */