initial commit of tests of rust-lang/miri#1540

Author: alecmocatta

.gitignore

@@ -0,0 +1,2 @@
+/target
+Cargo.lock

Cargo.toml

@@ -0,0 +1,26 @@
+[workspace]
+
+[package]
+name = "root"
+version = "0.1.0"
+authors = ["Alec Mocatta <alec@mocatta.net>"]
+edition = "2018"
+
+[features]
+disabled = []
+
+[dependencies]
+sub = { path = "sub" }
+
+[[test]]
+name = "harness_false"
+harness = false
+
+[[test]]
+name = "disabled"
+required-features = ["disabled"]
+
+[[test]]
+name = "test_false"
+test = false
+

README.md

@@ -0,0 +1,7 @@
+# Readme
+
+```bash
+MIRIFLAGS='-Zmiri-disable-isolation' cargo miri run
+MIRIFLAGS='-Zmiri-disable-isolation' cargo miri run -p sub
+MIRIFLAGS='-Zmiri-disable-isolation' cargo miri test --workspace
+```

src/main.rs

@@ -0,0 +1,11 @@
+use std::env;
+use std::path::PathBuf;
+
+fn main() {
+    println!("root");
+
+    let env_dir = env::current_dir().unwrap();
+    let crate_dir = PathBuf::from(env::var_os("CARGO_MANIFEST_DIR").unwrap());
+
+    assert_eq!(env_dir, crate_dir);
+}

sub/Cargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "sub"
+version = "0.1.0"
+authors = ["Alec Mocatta <alec@mocatta.net>"]
+edition = "2018"
+
+[dependencies]

sub/src/main.rs

@@ -0,0 +1,11 @@
+use std::env;
+use std::path::PathBuf;
+
+fn main() {
+    println!("sub");
+
+    let env_dir = env::current_dir().unwrap();
+    let crate_dir = PathBuf::from(env::var_os("CARGO_MANIFEST_DIR").unwrap());
+
+    assert_eq!(env_dir, crate_dir.parent().unwrap());
+}

sub/tests/test.rs

@@ -0,0 +1,13 @@
+use std::env;
+use std::path::PathBuf;
+
+#[test]
+fn current_dir() {
+    println!("sub test");
+
+    let env_dir = env::current_dir().unwrap();
+    let crate_dir = PathBuf::from(env::var_os("CARGO_MANIFEST_DIR").unwrap();
+
+    assert_eq!(env_dir.file_name().unwrap(), "sub");
+    assert_eq!(env_dir, crate_dir));
+}

tests/disabled.rs

@@ -0,0 +1 @@
+invalid

tests/harness_false.rs

@@ -0,0 +1,3 @@
+fn main() {
+	println!("harness_false test");
+}

tests/test_false.rs

@@ -0,0 +1 @@
+invalid