From 99b073e58b66c9df66bbbc7e0396f757bde9e03a Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 25 May 2012 19:00:37 -0700 Subject: [PATCH] action: use proper location comparison Now that snapshotting is in place for the initial state, stack allocation is deterministic across executions, so we can compare stack-allocated addresses again. --- action.cc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/action.cc b/action.cc index eb2f0c6..bd9e29f 100644 --- a/action.cc +++ b/action.cc @@ -52,8 +52,7 @@ bool ModelAction::is_release() bool ModelAction::same_var(ModelAction *act) { - return true; - // TODO: fix stack allocation... return location == act->location; + return location == act->location; } bool ModelAction::same_thread(ModelAction *act) -- 2.34.1