From b29d68f942e333d2cfdd6be8d49fe484e0d15e11 Mon Sep 17 00:00:00 2001 From: brunoerg Date: Thu, 26 Dec 2024 14:19:57 -0300 Subject: [PATCH] test: descriptor: fix test for `MaxSatisfactionWeight` To get the maximum size of a satisfaction for a descriptor without considering the max sig, the parameter `use_max_sig` should be false. --- src/test/descriptor_tests.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/test/descriptor_tests.cpp b/src/test/descriptor_tests.cpp index 24b8f2f793..288ffc66eb 100644 --- a/src/test/descriptor_tests.cpp +++ b/src/test/descriptor_tests.cpp @@ -161,7 +161,8 @@ void DoCheck(std::string prv, std::string pub, const std::string& norm_pub, int // We must be able to estimate the max satisfaction size for any solvable descriptor top descriptor (but combo). const bool is_nontop_or_nonsolvable{!parse_priv->IsSolvable() || !parse_priv->GetOutputType()}; const auto max_sat_maxsig{parse_priv->MaxSatisfactionWeight(true)}; - const auto max_sat_nonmaxsig{parse_priv->MaxSatisfactionWeight(true)}; + const auto max_sat_nonmaxsig{parse_priv->MaxSatisfactionWeight(false)}; + BOOST_CHECK(max_sat_nonmaxsig <= max_sat_maxsig); const auto max_elems{parse_priv->MaxSatisfactionElems()}; const bool is_input_size_info_set{max_sat_maxsig && max_sat_nonmaxsig && max_elems}; BOOST_CHECK_MESSAGE(is_input_size_info_set || is_nontop_or_nonsolvable, prv);