From 473ce2dbd6265f75c080086d523a9f6e598016d5 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Mon, 20 Dec 2021 16:49:12 -0800 Subject: [PATCH] Disable unit tests without poly (#7844) This PR disables the new unit tests from #7829 when poly is not available. --- test/unit/api/cpp/theory_arith_nl_black.cpp | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/test/unit/api/cpp/theory_arith_nl_black.cpp b/test/unit/api/cpp/theory_arith_nl_black.cpp index 91f260a17..0b9b9f119 100644 --- a/test/unit/api/cpp/theory_arith_nl_black.cpp +++ b/test/unit/api/cpp/theory_arith_nl_black.cpp @@ -14,6 +14,7 @@ */ #include "test_api.h" +#include "base/configuration.h" namespace cvc5 { @@ -27,6 +28,10 @@ class TestTheoryBlackArithNl : public TestApi TEST_F(TestTheoryBlackArithNl, cvc5Projects388) { + if (!Configuration::isBuiltWithPoly()) + { + return; + } Solver slv; slv.setLogic("QF_NRA"); Sort s = slv.getRealSort(); @@ -45,6 +50,10 @@ TEST_F(TestTheoryBlackArithNl, cvc5Projects388) TEST_F(TestTheoryBlackArithNl, cvc5Projects388Min) { + if (!Configuration::isBuiltWithPoly()) + { + return; + } Solver slv; slv.setOption("nl-cad", "true"); slv.setOption("nl-cad-var-elim", "true"); -- 2.30.2