Avoid using the tests folder for the file manipualtion test

diff --git a/tests/run-pass/file_manipulation.rs b/tests/run-pass/file_manipulation.rs
index fa17efd7e179966e9f155706ea4a7f6fd9909735..98f3c1089bb77e0184799877ab7c2da30e1501f1 100644 (file)
--- a/tests/run-pass/file_manipulation.rs
+++ b/tests/run-pass/file_manipulation.rs
@@ -5,7 +5,7 @@
 use std::io::{Read, Write};
 
 fn main() {
-    let path = "./tests/hello.txt";
+    let path = "miri_test_fs.txt";
     let bytes = b"Hello, World!\n";
     // Test creating, writing and closing a file (closing is tested when `file` is dropped).
     let mut file = File::create(path).unwrap();