From 44f0f88172b42029b43eff0a93a26757e09852dd Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Wed, 21 Dec 2022 16:23:05 +0100 Subject: [PATCH] test --- src/test/polysat.cpp | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/test/polysat.cpp b/src/test/polysat.cpp index 64c44a4f5..221100a47 100644 --- a/src/test/polysat.cpp +++ b/src/test/polysat.cpp @@ -1912,14 +1912,11 @@ static void STD_CALL polysat_on_ctrl_c(int) { void tst_polysat() { using namespace polysat; -#if 1 // Enable this block to run a single unit test with detailed output. +#if 0 // Enable this block to run a single unit test with detailed output. collect_test_records = false; test_max_conflicts = 50; // test_polysat::test_bench27_viable1(); // TODO: refinement // test_polysat::test_bench27_viable2(); // TODO: refinement - // test_polysat::test_bench27_viable3(); - test_polysat::test_bench27_viable3_sat(); - // test_polysat::test_ineq2(); // TODO: assertion failure return; #endif