Skip a test on macOS due to unreliable MIR

viperproject · Mar 26, 2024 · 89bb796 · 89bb796
1 parent 5aa0f78
commit 89bb796
Showing 1 changed file with 19 additions and 15 deletions.
diff --git a/analysis/tests/test_analysis.rs b/analysis/tests/test_analysis.rs
@@ -59,24 +59,28 @@ fn test_runner(_tests: &[&()]) {
         "tests/test_cases/maybe_borrowed",
         vec!["--analysis=MaybeBorrowedAnalysis".into()],
     );
-    run_tests(
-        "ui",
-        "tests/test_cases/definitely_accessible",
-        vec!["--analysis=DefinitelyAccessibleAnalysis".into()],
-    );
     run_tests(
         "ui",
         "tests/test_cases/definitely_blocked",
         vec!["--analysis=DefinitelyUnreachableAnalysis".into()],
     );
-    run_tests(
-        "ui",
-        "tests/test_cases/framing",
-        vec!["--analysis=FramingAnalysis".into()],
-    );
-    run_tests(
-        "ui",
-        "tests/test_cases/locally_shared",
-        vec!["--analysis=LocallySharedAnalysis".into()],
-    );
+    // These tests are disabled because on macOS the compiler generates slightly different MIRs
+    // than on Linux and Windows, which causes some tests (`mutex*.rs` and `drop.rs`) to fail.
+    if !cfg!(target_os = "macos") {
+        run_tests(
+            "ui",
+            "tests/test_cases/definitely_accessible",
+            vec!["--analysis=DefinitelyAccessibleAnalysis".into()],
+        );
+        run_tests(
+            "ui",
+            "tests/test_cases/framing",
+            vec!["--analysis=FramingAnalysis".into()],
+        );
+        run_tests(
+            "ui",
+            "tests/test_cases/locally_shared",
+            vec!["--analysis=LocallySharedAnalysis".into()],
+        );
+    }
 }