nodestack: compute parent ModelAction externally

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index 1d2bc9648fc1365d059cceab96490866c3fd2cf5..2eba02cf20c9739e85227c77ac7510fb4cdd4427 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -117,7 +117,7 @@ void NodeStack::print()
        printf("............................................\n");
 }
 
-ModelAction * NodeStack::explore_action(ModelAction *act)
+ModelAction * NodeStack::explore_action(ModelAction *act, ModelAction *parent)
 {
        DBG();
 
@@ -135,7 +135,7 @@ ModelAction * NodeStack::explore_action(ModelAction *act)
 
                /* Record action */
                get_head()->explore_child(act);
-               act->create_cv(get_head()->get_action());
+               act->create_cv(parent);
                node_list.push_back(new Node(act, model->get_num_threads()));
                iter++;
        }