From: Brian Norris <banorris@uci.edu>
Date: Mon, 14 May 2012 18:39:24 +0000 (-0700)
Subject: action: neuter the "same_var" function for now...
X-Git-Tag: pldi2013~409^2
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=88aed7f892145f30dc885420b5452b9761e6c2c1;p=model-checker.git

action: neuter the "same_var" function for now...

Due to some incorrect functionality for 'reset_to_initial_state()' we may not
always have the right stack locations for every execution. I'll ignore the
problem temporarily...
---

diff --git a/action.cc b/action.cc
index bd9e29f..eb2f0c6 100644
--- a/action.cc
+++ b/action.cc
@@ -52,7 +52,8 @@ bool ModelAction::is_release()
 
 bool ModelAction::same_var(ModelAction *act)
 {
-	return location == act->location;
+	return true;
+	// TODO: fix stack allocation... return location == act->location;
 }
 
 bool ModelAction::same_thread(ModelAction *act)