nodestack: push 'create_cv' functionality responsibility back to ModelChecker

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 274a2d928102f9d2348114e5085f4781f69fe0b6..2ffa22a1028a8008c1c60e52e8e9fee627fac766 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -211,7 +211,8 @@ void ModelChecker::check_current_action(void)
                return;
        }
 
-       curr = node_stack->explore_action(curr, get_parent_action(curr->get_tid()));
+       curr = node_stack->explore_action(curr);
+       curr->create_cv(get_parent_action(curr->get_tid()));
 
        /* Assign 'creation' parent */
        if (curr->get_type() == THREAD_CREATE) {