history(new ModelHistory()),
execution(new ModelExecution(this, scheduler)),
execution_number(1),
- curr_thread_num(INITIAL_THREAD_ID),
+ curr_thread_num(MAIN_THREAD_ID),
trace_analyses(),
inspect_plugin(NULL)
{
execution->collectActions();
}
- curr_thread_num = INITIAL_THREAD_ID;
+ curr_thread_num = MAIN_THREAD_ID;
Thread *thr = getNextThread(old);
if (thr != nullptr) {
scheduler->set_current_thread(thr);
scheduler->set_current_thread(NULL);
/** Reset curr_thread_num to initial value for next execution. */
- curr_thread_num = INITIAL_THREAD_ID;
+ curr_thread_num = MAIN_THREAD_ID;
/** If we have more executions, we won't make it past this call. */
finish_execution(execution_number < params.maxexecutions);