Add verbosity option to exhaustive search.

jendrikseipp · May 10, 2024 · 6a79ebe · 6a79ebe
1 parent 9bcc1c4
commit 6a79ebe
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
@@ -110,7 +110,6 @@ class ExhaustiveSearchFeature
     ExhaustiveSearchFeature() : TypedFeature("dump_reachable_search_space") {
         document_title("Exhaustive search");
         document_synopsis("Dump the reachable state space.");
-        utils::add_log_options_to_feature(*this);
     }
 
     virtual shared_ptr<ExhaustiveSearch> create_component(
@@ -119,6 +118,7 @@ class ExhaustiveSearchFeature
         opts.set<OperatorCost>("cost_type", ONE);
         opts.set<int>("bound", numeric_limits<int>::max());
         opts.set<double>("max_time", numeric_limits<double>::infinity());
+        opts.set<utils::Verbosity>("verbosity", utils::Verbosity::NORMAL);
         return make_shared<ExhaustiveSearch>(opts);
     }
 };