From dd48a4fa3a8ccb1f7a5ad902c1bbf51dd24dae15 Mon Sep 17 00:00:00 2001 From: speckdavid Date: Wed, 23 Jul 2025 18:13:30 +0200 Subject: [PATCH 1/2] Fix ehc assertion for trivial problems --- src/search/search_algorithms/enforced_hill_climbing_search.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/search/search_algorithms/enforced_hill_climbing_search.cc b/src/search/search_algorithms/enforced_hill_climbing_search.cc index 2cbd10c372..bc88aa8a4e 100644 --- a/src/search/search_algorithms/enforced_hill_climbing_search.cc +++ b/src/search/search_algorithms/enforced_hill_climbing_search.cc @@ -243,7 +243,7 @@ void EnforcedHillClimbingSearch::print_statistics() const { statistics.print_detailed_statistics(); log << "EHC phases: " << num_ehc_phases << endl; - assert(num_ehc_phases != 0); + assert(num_ehc_phases >= 0); log << "Average expansions per EHC phase: " << static_cast(statistics.get_expanded()) / num_ehc_phases << endl; From 51b9b59f4bc67f9e5099622dee8680d54f69b5de Mon Sep 17 00:00:00 2001 From: speckdavid Date: Thu, 24 Jul 2025 14:46:05 +0200 Subject: [PATCH 2/2] Remove the logging of the average expansion per EHC phase and the associated assertion --- .../search_algorithms/enforced_hill_climbing_search.cc | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/search/search_algorithms/enforced_hill_climbing_search.cc b/src/search/search_algorithms/enforced_hill_climbing_search.cc index bc88aa8a4e..f39d946791 100644 --- a/src/search/search_algorithms/enforced_hill_climbing_search.cc +++ b/src/search/search_algorithms/enforced_hill_climbing_search.cc @@ -243,11 +243,6 @@ void EnforcedHillClimbingSearch::print_statistics() const { statistics.print_detailed_statistics(); log << "EHC phases: " << num_ehc_phases << endl; - assert(num_ehc_phases >= 0); - log << "Average expansions per EHC phase: " - << static_cast(statistics.get_expanded()) / num_ehc_phases - << endl; - for (auto count : d_counts) { int depth = count.first; int phases = count.second.first;