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 */
printf("............................................\n");
}
-ModelAction * NodeStack::explore_action(ModelAction *act, bool * enabled)
+ModelAction * NodeStack::explore_action(ModelAction *act, bool * is_enabled)
{
DBG();
/* Record action */
get_head()->explore_child(act);
- node_list.push_back(new Node(act, get_head(), model->get_num_threads(), enabled));
+ node_list.push_back(new Node(act, get_head(), model->get_num_threads(), is_enabled));
total_nodes++;
iter++;
return NULL;