X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=execution.cc;h=e1c5e2ddbb06767e13c51d55b230f553d5f2c67d;hp=3a73e353358d52a8a1f307f809d117a746c31545;hb=57748ff26d916528ba0df0b1d2c699a901386d5f;hpb=17b49f10df170ee8e6aca7401e014e8658971cdb

diff --git a/execution.cc b/execution.cc
index 3a73e353..e1c5e2dd 100644
--- 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);