Disable finite fields unit test if cocoa is not enabled (cvc5#10229)

Should fix nightly failures.
ajreynol · Dec 14, 2023 · 5c2c8a8 · 5c2c8a8
1 parent 3e07a65
commit 5c2c8a8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/test/unit/api/cpp/solver_black.cpp b/test/unit/api/cpp/solver_black.cpp
@@ -3915,6 +3915,8 @@ TEST_F(TestApiBlackSolver, multipleSolvers)
   }
 }
 
+#ifdef CVC5_USE_COCOA
+
 TEST_F(TestApiBlackSolver, basicFiniteField)
 {
   Solver slv;
@@ -3941,6 +3943,8 @@ TEST_F(TestApiBlackSolver, basicFiniteField)
   ASSERT_FALSE(slv.checkSat().isSat());
 }
 
+#endif
+
 TEST_F(TestApiBlackSolver, basicFiniteFieldBase)
 {
   Solver slv;