More work towards removing main

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 69df0d226023ec9b212e55e5276c2993c2d001cb..80e23578f5bbb76292d562c3db637efd4db04621 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -18,9 +18,14 @@
 #include "history.h"
 #include "bugmessage.h"
 #include "params.h"
+#include "plugins.h"
 
 ModelChecker *model = NULL;
 
+void placeholder(void *) {
+       ASSERT(0);
+}
+
 /** @brief Constructor */
 ModelChecker::ModelChecker() :
        /* Initialize default scheduler */
@@ -33,12 +38,12 @@ ModelChecker::ModelChecker() :
        trace_analyses(),
        inspect_plugin(NULL)
 {
-       printf("C11Tester\n"
-              "Copyright (c) 2013 and 2019 Regents of the University of California. All rights reserved.\n"
-              "Distributed under the GPLv2\n"
-              "Written by Weiyu Luo, Brian Norris, and Brian Demsky\n\n");
+       printf("C11Tester\n"
+                                "Copyright (c) 2013 and 2019 Regents of the University of California. All rights reserved.\n"
+                                "Distributed under the GPLv2\n"
+                                "Written by Weiyu Luo, Brian Norris, and Brian Demsky\n\n");
        memset(&stats,0,sizeof(struct execution_stats));
-       init_thread = new Thread(execution->get_next_id(), (thrd_t *) model_malloc(sizeof(thrd_t)), NULL, NULL, NULL);
+       init_thread = new Thread(execution->get_next_id(), (thrd_t *) model_malloc(sizeof(thrd_t)), &placeholder, NULL, NULL);
 #ifdef TLS
        init_thread->setTLS((char *)get_tls_addr());
 #endif