From d72724f7fd56dc8d02cc4d3638e49cbc7aa9eb9a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 18 Jun 2021 10:04:38 -0700
Subject: [PATCH] merge master

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/polysat.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/test/polysat.cpp b/src/test/polysat.cpp
index d9e7fd6b2..dd7864d88 100644
--- a/src/test/polysat.cpp
+++ b/src/test/polysat.cpp
@@ -727,6 +727,9 @@ namespace polysat {
 
 
 void tst_polysat() {
+    polysat::test_monot_bounds_simple(8);
+    return;
+
     polysat::test_add_conflicts();
     polysat::test_wlist();
     polysat::test_cjust();
@@ -745,7 +748,6 @@ void tst_polysat() {
     polysat::test_ineq_basic5();
     polysat::test_ineq_basic6();
     polysat::test_fixed_point_arith_div_mul_inverse();
-    polysat::test_monot_bounds_simple(2);
     polysat::test_monot_bounds(2);
     polysat::test_monot_bounds_full();
     polysat::test_fixed_point_arith_mul_div_inverse();