From 1a36b74143fa9a6cceba5627852959f466e4ddcd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 1 Feb 2022 19:32:07 -0800 Subject: [PATCH] dbg Signed-off-by: Nikolaj Bjorner --- src/test/polysat.cpp | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/test/polysat.cpp b/src/test/polysat.cpp index 9f9386e54..8ce90bf7f 100644 --- a/src/test/polysat.cpp +++ b/src/test/polysat.cpp @@ -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;