From d3810f6f1783f578d78b17c111186d3a49654e4f Mon Sep 17 00:00:00 2001
From: Jendrik Seipp <jendrik.seipp@liu.se>
Date: Fri, 10 May 2024 10:11:25 +0200
Subject: [PATCH] Exit with 0 when complete search space has been dumped.

---
 src/search/search_algorithms/exhaustive_search.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/search/search_algorithms/exhaustive_search.cc b/src/search/search_algorithms/exhaustive_search.cc
index bdef773ad..c5cda5a75 100644
--- 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));