From 88aed7f892145f30dc885420b5452b9761e6c2c1 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 14 May 2012 11:39:24 -0700 Subject: [PATCH] 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... --- action.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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) -- 2.34.1