From 47e0ef8a152ec0a41d25a35b75be047d63abfa9d Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Sat, 5 May 2012 00:19:56 -0700
Subject: [PATCH] model: free final list
---
model.cc | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/model.cc b/model.cc
index 20f8f9e..2c74047 100644
--- a/model.cc
+++ b/model.cc
@@ -30,6 +30,14 @@ private:
ModelChecker *model;
+void free_action_list(action_list_t *list)
+{
+ action_list_t::iterator it;
+ for (it = list->begin(); it != list->end(); it++)
+ delete (*it);
+ delete list;
+}
+
ModelChecker::ModelChecker()
{
/* First thread created will have id INITIAL_THREAD_ID */
@@ -55,7 +63,8 @@ ModelChecker::~ModelChecker()
delete (*it).second;
thread_map.clear();
- delete action_trace;
+ free_action_list(action_trace);
+
delete this->scheduler;
delete rootNode;
}
--
2.34.1