From 730038c9f0475c6c4355c8b2a15cab702207e5c3 Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Thu, 1 Nov 2012 16:50:19 -0700 Subject: [PATCH 1/1] found the bug --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model.cc b/model.cc index f320b8f..775b796 100644 --- a/model.cc +++ b/model.cc @@ -856,7 +856,7 @@ Thread * ModelChecker::check_current_action(ModelAction *curr) ModelAction *newcurr = initialize_curr_action(curr); - wake_up_sleeping_actions(curr); + wake_up_sleeping_actions(newcurr); /* Add the action to lists before any other model-checking tasks */ if (!second_part_of_rmw) -- 2.34.1