Disable 29-svcomp/36-svcomp-arch cram test on MacOS

goblint · Oct 2, 2024 · 6d04b1a · 6d04b1a
1 parent c341c1c
commit 6d04b1a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tests/regression/29-svcomp/dune b/tests/regression/29-svcomp/dune
@@ -14,3 +14,7 @@
 
 (cram
  (deps (glob_files *.c)))
+
+(cram
+ (applies_to 36-svcomp-arch)
+ (enabled_if (<> %{system} macosx))) ; https://dune.readthedocs.io/en/stable/reference/boolean-language.html