X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=nodestack.cc;h=b79863e2abbcc443e76721360724cc1c800d9b61;hb=db607bcf0c5a0608e2f8e3364ec1c062a48bee03;hp=2e170b9f35eb8e424db6949754bb32d8146a0ba2;hpb=7f6d1166c41b6b00405eb8cd00d3adda5440f386;p=model-checker.git

diff --git a/nodestack.cc b/nodestack.cc
index 2e170b9..b79863e 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -32,11 +32,12 @@ Node::Node(ModelAction *act, Node *par, int nthreads, bool *enabled)
 	if (act)
 		act->set_node(this);
 	enabled_array=(bool *)MYMALLOC(sizeof(bool)*num_threads);
-	if (enabled)
+	if (enabled != NULL)
 		memcpy(enabled_array, enabled, sizeof(bool)*num_threads);
-	else 
+	else {
 		for(int i=0;i<num_threads;i++)
 			enabled_array[i]=false;
+	}
 }
 
 /** @brief Node desctructor */
@@ -347,7 +348,7 @@ ModelAction * NodeStack::explore_action(ModelAction *act, bool * is_enabled)
 
 	/* Record action */
 	get_head()->explore_child(act);
-	node_list.push_back(new Node(act, get_head(), model->get_num_threads()));
+	node_list.push_back(new Node(act, get_head(), model->get_num_threads(), is_enabled));
 	total_nodes++;
 	iter++;
 	return NULL;