/** Wrapper to run the user's main function, with appropriate arguments */
void user_main_wrapper(void *)
{
-#ifdef TLS
- model->get_execution()->getTLSSize();
-#endif
user_main(model->params.argc, model->params.argv);
}
void ModelChecker::startMainThread() {
init_thread->set_state(THREAD_RUNNING);
scheduler->set_current_thread(init_thread);
- thread_startup();
+ main_thread_startup();
}
static bool is_nonsc_write(const ModelAction *act) {