From 4224cb3a9afdac601fd2778253214e42f8b2fdf4 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 24 May 2012 11:33:36 -0700
Subject: [PATCH] main: take/revert snapshots

Use basic snapshotting for 'reset_to_initial_state()'.
---
 main.cc  | 2 ++
 model.cc | 1 +
 2 files changed, 3 insertions(+)

diff --git a/main.cc b/main.cc
index c5b6028..8db63e6 100644
--- a/main.cc
+++ b/main.cc
@@ -53,6 +53,8 @@ void real_main() {
 
 	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));
diff --git a/model.cc b/model.cc
index 09ee4b4..4db5572 100644
--- a/model.cc
+++ b/model.cc
@@ -59,6 +59,7 @@ void ModelChecker::reset_to_initial_state()
 	nextThread = 0;
 	next_backtrack = NULL;
 	/* scheduler reset ? */
+	snapshotObject->backTrackBeforeStep(0);
 }
 
 thread_id_t ModelChecker::get_next_id()
-- 
2.34.1