Disabled non-linux bounded portfolio test

ftsrg · Nov 12, 2024 · 913b15b · 913b15b
1 parent 38c8235
commit 913b15b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaCliVerifyTest.kt b/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaCliVerifyTest.kt
@@ -371,6 +371,7 @@ class XcfaCliVerifyTest {
   @ParameterizedTest
   @MethodSource("singleThreadedCFiles")
   fun testCVerifyBoundedPortfolio(filePath: String, extraArgs: String?) {
+    Assumptions.assumeTrue(OsHelper.getOs().equals(OsHelper.OperatingSystem.LINUX))
     val params =
       arrayOf(
         "--backend",