try to add support for pthread_create/pthread_join

[c11tester.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index f1856d360f434d04363d544834e4c081816283bb..fed7545ffa13a1a177b14333cee8cb26a24f380e 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -816,7 +816,7 @@ ModelAction * NodeStack::explore_action(ModelAction *act, enabled_type_t *is_ena
        }
 
        int next_threads = execution->get_num_threads();
-       if (act->get_type() == THREAD_CREATE)
+       if (act->get_type() == THREAD_CREATE || act->get_type() == PTHREAD_CREATE ) // may need to be changed
                next_threads++;
        node_list.push_back(new Node(get_params(), act, head, next_threads, prevfairness));
        total_nodes++;