add support for pthread_create (in progress)

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 8c384c14888c5bd5f60018dd955a80f4ae875503..ccc109a7be96594f395c2ccd0f6ab56cf230a88f 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -518,7 +518,6 @@ 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;
@@ -543,7 +542,7 @@ void ModelChecker::run()
 
                has_next = next_execution();
                i++;
-       } while (i<1); // while (has_next);
+       } while (i<100); // while (has_next);
 
        execution->fixup_release_sequences();