Remove the code that checks store visibility, not being used at this time

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 39abc039377504405fd9e7417684317b53d3450a..addaa7afbfc5dc207284799dc22fee6ba8d35657 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -289,6 +289,7 @@ bool ModelExecution::process_read(ModelAction *curr, SnapVector<ModelAction *> *
        }
 
        // Remove writes that violate read modification order
+       /*
        uint i = 0;
        while (i < rf_set->size()) {
                ModelAction * rf = (*rf_set)[i];
@@ -297,7 +298,7 @@ bool ModelExecution::process_read(ModelAction *curr, SnapVector<ModelAction *> *
                        rf_set->pop_back();
                } else
                        i++;
-       }
+       }*/
 
        while(true) {
                int index = fuzzer->selectWrite(curr, rf_set);
@@ -319,9 +320,6 @@ bool ModelExecution::process_read(ModelAction *curr, SnapVector<ModelAction *> *
                        }
                        return true;
                }
-
-               ASSERT(false);
-               /* TODO: Following code not needed anymore */
                priorset->clear();
                (*rf_set)[index] = rf_set->back();
                rf_set->pop_back();