From 3e6e1e1a8a447fbf627779df4f66e394526c3cc3 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Fri, 16 Dec 2022 14:37:31 +0100
Subject: [PATCH] test

---
 src/test/polysat.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/test/polysat.cpp b/src/test/polysat.cpp
index 9b91024de..04e0b7f98 100644
--- a/src/test/polysat.cpp
+++ b/src/test/polysat.cpp
@@ -1850,11 +1850,10 @@ static void STD_CALL polysat_on_ctrl_c(int) {
 void tst_polysat() {
     using namespace polysat;
 
-    polysat::test_polysat::test_elim7(3);
-
 #if 0  // Enable this block to run a single unit test with detailed output.
     collect_test_records = false;
     test_max_conflicts = 50;
+    // polysat::test_polysat::test_elim7(3);
     // test_polysat::test_parity1();
     // test_polysat::test_parity1b();
     // test_polysat::test_parity2();