return (Thread::swap(&system_context, next) == 0);
}
-/** Runs the current execution until threre are no more steps to take. */
-void ModelChecker::finish_execution() {
- DBG();
-
- while (take_step());
-}
-
/** Wrapper to run the user's main function, with appropriate arguments */
void user_main_wrapper(void *)
{
add_thread(new Thread(&user_thread, &user_main_wrapper, NULL));
/* Wait for all threads to complete */
- finish_execution();
+ while (take_step());
} while (next_execution());
print_stats();