mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-21 11:23:30 +00:00
Code Activity

update count to 2

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-04-09 16:39:27 -07:00
parent fbd51981c3
commit 23ae00a57e
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/test/api.cpp
View file

@ -274,8 +274,8 @@ void test_max_reg() {
} }
#endif #endif
std::cout << "BNH: " << num_sat << "/6 optimizations returned sat" << std::endl; std::cout << "BNH: " << num_sat << "/2 optimizations returned sat" << std::endl;
ENSURE(num_sat == 6); ENSURE(num_sat == 2);
Z3_del_context(ctx); Z3_del_context(ctx);
std::cout << "BNH optimization test done" << std::endl; std::cout << "BNH optimization test done" << std::endl;
} }