Exit with 0 when complete search space has been dumped.

jendrikseipp · May 10, 2024 · d3810f6 · d3810f6
1 parent 6a79ebe
commit d3810f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/search/search_algorithms/exhaustive_search.cc b/src/search/search_algorithms/exhaustive_search.cc
@@ -80,7 +80,7 @@ void ExhaustiveSearch::dump_state(const State &state) const {
 SearchStatus ExhaustiveSearch::step() {
     if (current_state_id == static_cast<int>(state_registry.size())) {
         utils::g_log << "Finished dumping the reachable state space." << endl;
-        return FAILED;
+        return SOLVED;
     }
 
     State s = state_registry.lookup_state(StateID(current_state_id));