diff --git a/opam b/opam
index ca3b6b5a90c8bccb64fadcc85c9d302dd1c8b969..60109c9163215412e25199285a52e50819a9d4c5 100644
--- a/opam
+++ b/opam
@@ -116,9 +116,9 @@ remove: [
 
 run-test: [
   ["dune" "exec" "--" "frama-c-ptests" "tests" "src/plugins/*/tests"
-  ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os != "macos" & os-distribution != "freebsd"}
+  ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os-distribution != "freebsd"}
   ["dune" "build" "-j%{jobs}%" "@ptests_config"
-  ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os != "macos" & os-distribution != "freebsd"}
+  ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os-distribution != "freebsd"}
 ]
 
 depends: [