experiment with exponential decay model

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 3a73e353358d52a8a1f307f809d117a746c31545..e1c5e2ddbb06767e13c51d55b230f553d5f2c67d 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -300,8 +300,6 @@ bool ModelExecution::process_read(ModelAction *curr, SnapVector<ModelAction *> *
 
        while(true) {
                int index = fuzzer->selectWrite(curr, rf_set);
-               if (index == -1)// no feasible write exists
-                       return false;
 
                ModelAction *rf = (*rf_set)[index];
 
@@ -723,12 +721,6 @@ ModelAction * ModelExecution::check_current_action(ModelAction *curr)
        if (curr->is_read() && !second_part_of_rmw) {
                process_read(curr, rf_set);
                delete rf_set;
-
-/*             bool success = process_read(curr, rf_set);
-                delete rf_set;
-                if (!success)
-                        return curr;   // Do not add action to lists
- */
        } else
                ASSERT(rf_set == NULL);