move tests that no longer need MIR out of fullmir

rust-lang · Jul 11, 2018 · 698e785 · 698e785
1 parent a447c95
commit 698e785
Show file tree

Hide file tree

Showing 8 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -70,7 +70,7 @@ RUSTFLAGS='-Zalways-encode-mir' xargo build
 Now you can run miri against the libstd compiled by xargo:
 
 ```sh
-MIRI_SYSROOT=~/.xargo/HOST cargo run --bin miri tests/run-pass-fullmir/vecs.rs
+MIRI_SYSROOT=~/.xargo/HOST cargo run --bin miri tests/run-pass-fullmir/hashmap.rs
 ```
 
 Notice that you will have to re-run the last step of the preparations above when

diff --git a/...mpile-fail-fullmir/undefined_byte_read.rs → tests/compile-fail/undefined_byte_read.rs b/...mpile-fail-fullmir/undefined_byte_read.rs → tests/compile-fail/undefined_byte_read.rs
diff --git a/tests/compiletest.rs b/tests/compiletest.rs
@@ -212,5 +212,5 @@ fn compile_fail_miri() {
 
     // FIXME: run tests for other targets, too
     compile_fail(&sysroot, "tests/compile-fail", &host, &host, true);
-    compile_fail(&sysroot, "tests/compile-fail-fullmir", &host, &host, true);
+    //compile_fail(&sysroot, "tests/compile-fail-fullmir", &host, &host, true);
 }
diff --git a/tests/run-pass-fullmir/heap.rs → tests/run-pass/heap.rs b/tests/run-pass-fullmir/heap.rs → tests/run-pass/heap.rs
diff --git a/tests/run-pass-fullmir/issue-15080.rs → tests/run-pass/issue-15080.rs b/tests/run-pass-fullmir/issue-15080.rs → tests/run-pass/issue-15080.rs
diff --git a/tests/run-pass-fullmir/move-arg-2-unique.rs → tests/run-pass/move-arg-2-unique.rs b/tests/run-pass-fullmir/move-arg-2-unique.rs → tests/run-pass/move-arg-2-unique.rs
diff --git a/tests/run-pass-fullmir/regions-mock-trans.rs → tests/run-pass/regions-mock-trans.rs b/tests/run-pass-fullmir/regions-mock-trans.rs → tests/run-pass/regions-mock-trans.rs
diff --git a/tests/run-pass-fullmir/vecs.rs → tests/run-pass/vecs.rs b/tests/run-pass-fullmir/vecs.rs → tests/run-pass/vecs.rs