From: Brian Norris <banorris@uci.edu>
Date: Sat, 5 May 2012 06:33:42 +0000 (-0700)
Subject: model: free threads, thread_map at destruction
X-Git-Tag: pldi2013~453
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=65ab6289d515fb13061d18d1566f2a34e218b883;p=model-checker.git

model: free threads, thread_map at destruction
---

diff --git a/model.cc b/model.cc
index 7678968..20f8f9e 100644
--- a/model.cc
+++ b/model.cc
@@ -50,6 +50,11 @@ ModelChecker::ModelChecker()
 
 ModelChecker::~ModelChecker()
 {
+	std::map<int, class Thread *>::iterator it;
+	for (it = thread_map.begin(); it != thread_map.end(); it++)
+		delete (*it).second;
+	thread_map.clear();
+
 	delete action_trace;
 	delete this->scheduler;
 	delete rootNode;