CI: Enable macOS support in SolverContextFactoryTest

daniel-raffler · daniel-raffler · commit e5a72bd5667c · 2026-03-23T20:20:11.000+01:00
diff --git a/src/org/sosy_lab/java_smt/test/SolverContextFactoryTest.java b/src/org/sosy_lab/java_smt/test/SolverContextFactoryTest.java
@@ -118,7 +118,7 @@ private boolean isSupportedOperatingSystemAndArchitecture() {
       case BOOLECTOR:
       case CVC4:
       case YICES2:
-        return (IS_LINUX && !IS_ARCH_ARM64) || IS_WINDOWS;
+        return (IS_LINUX && !IS_ARCH_ARM64) || IS_WINDOWS || (IS_MAC && IS_ARCH_ARM64);
       case CVC5:
         return (IS_LINUX && isSufficientVersionOfLibcxx("cvc5jni")) || IS_WINDOWS || IS_MAC;
       case OPENSMT:
