mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 00:26:38 +00:00
Code Activity

dbg

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-02-01 19:32:07 -08:00
parent 18291543d6
commit 1a36b74143
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/test/polysat.cpp
View file

@ -1375,8 +1375,11 @@ namespace polysat {
void tst_polysat() {
using namespace polysat;
test_polysat::test_ineq_basic4();
test_polysat::test_ineq1();
test_polysat::test_ineq2();
test_polysat::test_monot();
return;
test_polysat::test_fi_zero();
test_polysat::test_fi_nonzero();
test_polysat::test_fi_nonmax();
@ -1432,13 +1435,13 @@ void tst_polysat() {
test_polysat::test_cjust();
test_polysat::test_subst();
test_polysat::test_monot_bounds(2);
test_polysat::test_var_minimize();
test_polysat::test_ineq1();
test_polysat::test_ineq2();
test_polysat::test_monot();
test_polysat::test_monot_bounds(2);
return;