From 65ab6289d515fb13061d18d1566f2a34e218b883 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Fri, 4 May 2012 23:33:42 -0700
Subject: [PATCH] model: free threads, thread_map at destruction
---
model.cc | 5 +++++
1 file changed, 5 insertions(+)
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;
--
2.34.1