From ae9f4e1e63c8dfd8f860d6b28c5a192bd22de316 Mon Sep 17 00:00:00 2001 From: Christian Poveda Date: Fri, 11 Oct 2019 03:31:11 -0500 Subject: [PATCH 1/2] Avoid using the tests folder for the file manipualtion test --- tests/run-pass/file_manipulation.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/run-pass/file_manipulation.rs b/tests/run-pass/file_manipulation.rs index fa17efd7e1..98f3c1089b 100644 --- a/tests/run-pass/file_manipulation.rs +++ b/tests/run-pass/file_manipulation.rs @@ -5,7 +5,7 @@ use std::fs::{File, remove_file}; 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(); From e9138ab4d63019a514fe5d531776fc1ecd37c307 Mon Sep 17 00:00:00 2001 From: Christian Poveda Date: Fri, 11 Oct 2019 04:01:07 -0500 Subject: [PATCH 2/2] Rename file manipulation test to fs --- tests/run-pass/{file_manipulation.rs => fs.rs} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tests/run-pass/{file_manipulation.rs => fs.rs} (100%) diff --git a/tests/run-pass/file_manipulation.rs b/tests/run-pass/fs.rs similarity index 100% rename from tests/run-pass/file_manipulation.rs rename to tests/run-pass/fs.rs