Merge branch 'new_fuzzer' into tmp

diff --git a/execution.cc b/execution.cc
index b62f69443dff0f10df28ca58e97cfa02926dbe00..c286b2d78745005ba2bc9e8c84fc8efa2daa6411 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -1366,12 +1366,8 @@ SnapVector<ModelAction *> *  ModelExecution::build_may_read_from(ModelAction *cu
                        }
 
                        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 */