Disable horn test on non-linux machines

ftsrg · Jul 9, 2024 · ca7bacc · ca7bacc
1 parent 9853615
commit ca7bacc
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/subprojects/solver/solver-z3/src/test/java/hu/bme/mit/theta/solver/z3/Z3HornSolverTest.kt b/subprojects/solver/solver-z3/src/test/java/hu/bme/mit/theta/solver/z3/Z3HornSolverTest.kt
@@ -15,6 +15,7 @@
  */
 package hu.bme.mit.theta.solver.z3
 
+import hu.bme.mit.theta.common.OsHelper
 import hu.bme.mit.theta.core.ParamHolder
 import hu.bme.mit.theta.core.Relation
 import hu.bme.mit.theta.core.decl.Decls.Const
@@ -28,6 +29,8 @@ import hu.bme.mit.theta.core.type.inttype.IntExprs.Int
 import hu.bme.mit.theta.core.type.inttype.IntType
 import hu.bme.mit.theta.solver.HornSolver
 import org.junit.jupiter.api.Assertions
+import org.junit.jupiter.api.Assumptions
+import org.junit.jupiter.api.BeforeEach
 import org.junit.jupiter.params.ParameterizedTest
 import org.junit.jupiter.params.provider.Arguments
 import org.junit.jupiter.params.provider.MethodSource
@@ -45,6 +48,11 @@ class Z3HornSolverTest {
         }
     }
 
+    @BeforeEach
+    fun before() {
+        Assumptions.assumeTrue(OsHelper.getOs() == OsHelper.OperatingSystem.LINUX)
+    }
+
     @ParameterizedTest
     @MethodSource("solvers")
     fun testSolvable(solver: HornSolver) {