X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=nodestack.cc;h=b79863e2abbcc443e76721360724cc1c800d9b61;hp=2e170b9f35eb8e424db6949754bb32d8146a0ba2;hb=18813c330489a982af8d745450895b0bb4479504;hpb=3f947091862fee454da7f8f2723d67733d581a7d

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;