From 9c42c31b487bf7319dba4d43e417e29420306977 Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Mon, 8 Oct 2012 17:20:20 -0700 Subject: [PATCH 1/1] mistake --- model.cc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/model.cc b/model.cc index 7e8211d..02f290d 100644 --- 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; - return true; - //return !mo_graph->checkReachable(first_write_after_read, writer); + return !mo_graph->checkReachable(first_write_after_read, writer); } -- 2.34.1