thrd_t user_thread;
ucontext_t main_context;
- //Create the singleton snapshotStack object
- snapshotObject = new snapshotStack();
+ //Create the singleton SnapshotStack object
+ snapshotObject = new SnapshotStack();
model = new ModelChecker();
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));