try to add support for pthread_create/pthread_join

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index ccc109a7be96594f395c2ccd0f6ab56cf230a88f..8c384c14888c5bd5f60018dd955a80f4ae875503 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -518,6 +518,7 @@ void ModelChecker::run()
                                                        break;
                                                }
                                        } else if (act->get_type() == THREAD_CREATE || \
+                                                       act->get_type() == PTHREAD_CREATE || \ // WL
                                                        act->get_type() == THREAD_START || \
                                                        act->get_type() == THREAD_FINISH) {
                                                t = th;
@@ -542,7 +543,7 @@ void ModelChecker::run()
 
                has_next = next_execution();
                i++;
-       } while (i<100); // while (has_next);
+       } while (i<1); // while (has_next);
 
        execution->fixup_release_sequences();