X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=a934d0adcb7be451907d3141243f4239564743d2;hb=5d3037f7280786b48caa804d92aa360a6dea846d;hp=d6e5ed24e76108f89c37c1c7d9269978bb3f0460;hpb=10a01d4e17bdc2424dbc67a7f70c1f04e76e812d;p=c11tester.git

diff --git a/model.cc b/model.cc
index d6e5ed24..a934d0ad 100644
--- a/model.cc
+++ b/model.cc
@@ -85,7 +85,7 @@ void ModelChecker::reset_to_initial_state()
 	for (unsigned int i = 0;i < get_num_threads();i++)
 		delete get_thread(int_to_id(i))->get_pending();
 
-	snapshot_backtrack_before(0);
+	snapshot_roll_back(snapshot);
 }
 
 /** @return the number of user threads created during this execution */
@@ -356,8 +356,7 @@ static void runChecker() {
 
 void ModelChecker::startChecker() {
 	startExecution(get_system_context(), runChecker);
-	snapshot_stack_init();
-	snapshot_record(0);
+	snapshot = take_snapshot();
 	initMainThread();
 }