Skip a test on macOS due to unreliable MIR

viperproject · Mar 26, 2024 · f63a3aa · f63a3aa
1 parent c76e1ca
commit f63a3aa
Showing 1 changed file with 9 additions and 5 deletions.
diff --git a/analysis/tests/test_analysis.rs b/analysis/tests/test_analysis.rs
@@ -59,11 +59,15 @@ 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()],
-    );
+    // This test is disabled because on macOS the compiler generates slightly different MIR
+    // than on Linux and Windows, which causes some tests (`mutex.rs` and `mutex_lock.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/definitely_blocked",