Use basic snapshotting for 'reset_to_initial_state()'.
model->set_system_context(&main_context);
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));
do {
/* Start user program */
model->add_thread(new Thread(&user_thread, (void (*)(void *)) &user_main, NULL));
nextThread = 0;
next_backtrack = NULL;
/* scheduler reset ? */
nextThread = 0;
next_backtrack = NULL;
/* scheduler reset ? */
+ snapshotObject->backTrackBeforeStep(0);
}
thread_id_t ModelChecker::get_next_id()
}
thread_id_t ModelChecker::get_next_id()