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 bd9e29fcdda3929c8a18fa539220e73daa1ec3df..eb2f0c61f024e64fed76bc85131c47193cfe4d8f 100644 (file)
--- 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)