From: Brian Norris <banorris@uci.edu>
Date: Sat, 5 May 2012 07:19:56 +0000 (-0700)
Subject: model: free final list
X-Git-Tag: pldi2013~452
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=47e0ef8a152ec0a41d25a35b75be047d63abfa9d;p=model-checker.git

model: free final list
---

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;
 }