X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=model.cc;h=503253af17a5dc0ba4727b3dcff08d1dfcbf07d2;hb=fcae856e66379752f8d227784d28c424206ab0c1;hp=01e4c491a9e637cb1c1ffd2b78607c82f2472e82;hpb=61eabdb86ab3a0a9a3051bd0bbf4dfed2172fdce;p=model-checker.git

diff --git a/model.cc b/model.cc
index 01e4c49..503253a 100644
--- a/model.cc
+++ b/model.cc
@@ -159,6 +159,14 @@ void ModelChecker::reset_to_initial_state()
 	/* Print all model-checker output before rollback */
 	fflush(model_out);
 
+	/**
+	 * FIXME: if we utilize partial rollback, we will need to free only
+	 * those pending actions which were NOT pending before the rollback
+	 * point
+	 */
+	for (unsigned int i = 0; i < get_num_threads(); i++)
+		delete get_thread(int_to_id(i))->get_pending();
+
 	snapshot_backtrack_before(0);
 }