ASSERT(false);
}
next = model->scheduler->next_thread();
+ if (!model->isfeasible())
+ return 1;
if (next)
next->set_state(THREAD_RUNNING);
DEBUG("(%d, %d)\n", curr ? curr->get_id() : -1, next ? next->get_id() : -1);
model->set_system_context(&main_context);
snapshotObject->snapshotStep(0);
-
do {
/* Start user program */
model->add_thread(new Thread(&user_thread, (void (*)(void *)) &user_main, NULL));