diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-03-22 16:17:24 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-07-08 21:56:28 +0200 |
| commit | 07632e75e21e3c61f1ab46f76618cb1b807bd6c3 (patch) | |
| tree | fe18abf859f4b045589b4c13ef95f3435d17450b | |
| parent | 078eac2264f8d80961872f77c1925c997a60ef9b (diff) | |
| download | klee-07632e75e21e3c61f1ab46f76618cb1b807bd6c3.tar.gz | |
IterativeDeepeningTimeSearcher: Fix using wrong iterator
| -rw-r--r-- | lib/Core/Searcher.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Searcher.cpp b/lib/Core/Searcher.cpp index cbb88727..299bb89d 100644 --- a/lib/Core/Searcher.cpp +++ b/lib/Core/Searcher.cpp @@ -566,7 +566,7 @@ void IterativeDeepeningTimeSearcher::update(ExecutionState *current, ExecutionState *es = *it; std::set<ExecutionState*>::const_iterator it2 = pausedStates.find(es); if (it2 != pausedStates.end()) { - pausedStates.erase(it); + pausedStates.erase(it2); alt.erase(alt.find(es)); } } |