From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 00:59:13 +0000 (-0700)
Subject: model: don't clear thread_map (snapshot)
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=b7827b7c4bb29f0859b8623bccc34e5032cfd2aa;p=c11tester.git

model: don't clear thread_map (snapshot)

The thread_map structure is being snapshotted, so no need to clear it.
---

diff --git a/model.cc b/model.cc
index 1dea669f..d28c1c26 100644
--- a/model.cc
+++ b/model.cc
@@ -46,10 +46,6 @@ ModelChecker::~ModelChecker()
 void ModelChecker::reset_to_initial_state()
 {
 	DEBUG("+++ Resetting to initial state +++\n");
-	std::map<int, class Thread *>::iterator it;
-	for (it = thread_map->begin(); it != thread_map->end(); it++)
-		delete (*it).second;
-	thread_map->clear();
 	node_stack->reset_execution();
 	current_action = NULL;
 	next_thread_id = INITIAL_THREAD_ID;