From 2f3c943f425d78f93d3f3c40121b68be1bf7403b Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 10 Feb 2025 08:08:32 +0100 Subject: [PATCH] ignore win_delete_self test in Miri --- library/std/tests/win_delete_self.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/library/std/tests/win_delete_self.rs b/library/std/tests/win_delete_self.rs index 1c3ce4d710c38..ce505de69a22d 100644 --- a/library/std/tests/win_delete_self.rs +++ b/library/std/tests/win_delete_self.rs @@ -2,6 +2,7 @@ /// Attempting to delete a running binary should return an error on Windows. #[test] +#[cfg_attr(miri, ignore)] // `remove_file` does not work in Miri on Windows fn win_delete_self() { let path = std::env::current_exe().unwrap(); assert!(std::fs::remove_file(path).is_err());