Merge remote-tracking branch 'origin/develop'

runtimeverification · Dec 2, 2024 · 1db4dcb · 1db4dcb
2 parents 7230a44 + 1d701f5
commit 1db4dcb
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/runtime/util/search.cpp b/runtime/util/search.cpp
@@ -72,7 +72,11 @@ std::unordered_set<block *, hash_block, k_eq> take_search_steps(
   while (!states.empty() && depth != 0) {
     state = states.front();
     states.pop_front();
-    states_set.erase(state);
+    if (states.empty()) {
+      states_set.clear();
+    } else {
+      states_set.erase(state);
+    }
 
     if (depth > 0) {
       depth--;