From e716e507d9f571a748da23cf129ca5f7af794ef2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 26 Nov 2022 17:16:03 +0700 Subject: [PATCH] investigate bench4 Signed-off-by: Nikolaj Bjorner --- src/test/polysat.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/test/polysat.cpp b/src/test/polysat.cpp index ba355af94..24d6f55e8 100644 --- a/src/test/polysat.cpp +++ b/src/test/polysat.cpp @@ -1635,6 +1635,7 @@ void tst_polysat() { // test_polysat::test_band5_clause(); // test_polysat::test_ineq_axiom1(32, 1); // test_polysat::test_pop_conflict(); + test_polysat::test_ineq_basic4(); // test_polysat::test_l2(); // test_polysat::test_ineq1(); test_polysat::test_ineq2(); @@ -1662,6 +1663,8 @@ void tst_polysat() { set_log_enabled(false); } + return; + RUN(test_polysat::test_clause_simplify1()); RUN(test_polysat::test_add_conflicts());