optimize search when only one state is active

runtimeverification · Nov 27, 2024 · dcba1cf · dcba1cf
1 parent 3a0b23d
commit dcba1cf
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.size() == 0) {
+      states_set.clear();
+    } else {
+      states_set.erase(state);
+    }
 
     if (depth > 0) {
       depth--;