model: fix leaking "pending actions"

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 01e4c491a9e637cb1c1ffd2b78607c82f2472e82..503253af17a5dc0ba4727b3dcff08d1dfcbf07d2 100644 (file)
--- 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);
 }