From b7827b7c4bb29f0859b8623bccc34e5032cfd2aa Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 25 May 2012 17:59:13 -0700 Subject: [PATCH] model: don't clear thread_map (snapshot) The thread_map structure is being snapshotted, so no need to clear it. --- model.cc | 4 ---- 1 file changed, 4 deletions(-) diff --git a/model.cc b/model.cc index 1dea669..d28c1c2 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::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; -- 2.34.1