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 91f260a1715cddd322682e35500ff6437a1bc029..0b9b9f119a6f4f050c9ee8ec8f9d81eeeab3d8ab 100644 (file)
--- 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");