From: Gereon Kremer <gkremer@stanford.edu>
Date: Tue, 21 Dec 2021 00:49:12 +0000 (-0800)
Subject: Disable unit tests without poly (#7844)
X-Git-Tag: cvc5-1.0.0~626
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=473ce2dbd6265f75c080086d523a9f6e598016d5;p=cvc5.git

Disable unit tests without poly (#7844)

This PR disables the new unit tests from #7829 when poly is not available.
---

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");