diff options
| author | Jubilee <workingjubilee@gmail.com> | 2025-02-10 00:51:58 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-10 00:51:58 -0800 |
| commit | ffa8a96040b8bb1ae8b856ae2a95159ffe1cb400 (patch) | |
| tree | a3bfd0317ebe6112d277c28d41d200d9916e8fc6 | |
| parent | 3e5f489be55c0fb056df1d6b1cd887b3f36b10ba (diff) | |
| parent | 2f3c943f425d78f93d3f3c40121b68be1bf7403b (diff) | |
| download | rust-ffa8a96040b8bb1ae8b856ae2a95159ffe1cb400.tar.gz rust-ffa8a96040b8bb1ae8b856ae2a95159ffe1cb400.zip | |
Rollup merge of #136805 - RalfJung:miri-win-delete-self, r=Noratrieb
ignore win_delete_self test in Miri Follow-up to https://github.com/rust-lang/rust/pull/134679, fixes miri-test-libstd on Windows Cc `@ChrisDenton` `@Mark-Simulacrum`
| -rw-r--r-- | library/std/tests/win_delete_self.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/std/tests/win_delete_self.rs b/library/std/tests/win_delete_self.rs index 1c3ce4d710c..ce505de69a2 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()); |