mistake
authorBrian Demsky <bdemsky@uci.edu>
Tue, 9 Oct 2012 00:20:20 +0000 (17:20 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 9 Oct 2012 00:20:20 +0000 (17:20 -0700)
model.cc

index 7e8211d..02f290d 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1312,9 +1312,8 @@ bool ModelChecker::mo_may_allow(const ModelAction * writer, const ModelAction *r
 
        if (first_write_after_read==NULL)
                return true;
 
        if (first_write_after_read==NULL)
                return true;
-       return true;
 
 
-       //return !mo_graph->checkReachable(first_write_after_read, writer);
+       return !mo_graph->checkReachable(first_write_after_read, writer);
 }
 
 
 }