diff options
| author | Ralf Jung <post@ralfj.de> | 2025-02-10 08:08:32 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-02-10 08:08:32 +0100 |
| commit | 2f3c943f425d78f93d3f3c40121b68be1bf7403b (patch) | |
| tree | 4546af4bdfb3aff21d3ba0865fd2697d8d8ec345 | |
| parent | d9a4a47b8b3dc0bdff83360cea2013200d60d49c (diff) | |
| download | rust-2f3c943f425d78f93d3f3c40121b68be1bf7403b.tar.gz rust-2f3c943f425d78f93d3f3c40121b68be1bf7403b.zip | |
ignore win_delete_self test in Miri
| -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()); |