From 23ae00a57ef408e551cbf086a19337142e097d93 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 9 Apr 2026 16:39:27 -0700 Subject: [PATCH] update count to 2 Signed-off-by: Nikolaj Bjorner --- src/test/api.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/test/api.cpp b/src/test/api.cpp index 9413a5ada..a7e7f329b 100644 --- a/src/test/api.cpp +++ b/src/test/api.cpp @@ -274,8 +274,8 @@ void test_max_reg() { } #endif - std::cout << "BNH: " << num_sat << "/6 optimizations returned sat" << std::endl; - ENSURE(num_sat == 6); + std::cout << "BNH: " << num_sat << "/2 optimizations returned sat" << std::endl; + ENSURE(num_sat == 2); Z3_del_context(ctx); std::cout << "BNH optimization test done" << std::endl; }