rust-lang
diff --git a/‎README.md
Lines changed: 9 additions & 4 deletions b/‎README.md
Lines changed: 9 additions & 4 deletions
diff --git a/‎tests/compile-fail/copy_nonoverlapping.rs renamed to ‎tests/compile-fail-fullmir/copy_nonoverlapping.rs b/‎tests/compile-fail/copy_nonoverlapping.rs renamed to ‎tests/compile-fail-fullmir/copy_nonoverlapping.rs
diff --git a/‎tests/compile-fail/memleak_rc.rs renamed to ‎tests/compile-fail-fullmir/memleak_rc.rs b/‎tests/compile-fail/memleak_rc.rs renamed to ‎tests/compile-fail-fullmir/memleak_rc.rs
diff --git a/‎tests/compile-fail/stacked_borrows/alias_through_mutation.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/alias_through_mutation.rs b/‎tests/compile-fail/stacked_borrows/alias_through_mutation.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/alias_through_mutation.rs
diff --git a/‎tests/compile-fail/stacked_borrows/aliasing_mut1.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/aliasing_mut1.rs b/‎tests/compile-fail/stacked_borrows/aliasing_mut1.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/aliasing_mut1.rs
diff --git a/‎tests/compile-fail/stacked_borrows/aliasing_mut2.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/aliasing_mut2.rs b/‎tests/compile-fail/stacked_borrows/aliasing_mut2.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/aliasing_mut2.rs
diff --git a/‎tests/compile-fail/stacked_borrows/aliasing_mut3.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/aliasing_mut3.rs b/‎tests/compile-fail/stacked_borrows/aliasing_mut3.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/aliasing_mut3.rs
diff --git a/‎tests/compile-fail/stacked_borrows/aliasing_mut4.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/aliasing_mut4.rs b/‎tests/compile-fail/stacked_borrows/aliasing_mut4.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/aliasing_mut4.rs
diff --git a/‎tests/compile-fail/stacked_borrows/buggy_as_mut_slice.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/buggy_as_mut_slice.rs b/‎tests/compile-fail/stacked_borrows/buggy_as_mut_slice.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/buggy_as_mut_slice.rs
diff --git a/‎tests/compile-fail/stacked_borrows/buggy_split_at_mut.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/buggy_split_at_mut.rs b/‎tests/compile-fail/stacked_borrows/buggy_split_at_mut.rs renamed to ‎tests/compile-fail-fullmir/stacked_borrows/buggy_split_at_mut.rs
@@ -45,14 +45,19 @@ in this directory.
 ## Running Miri
 
 ```sh
-cargo +nightly run tests/run-pass/vecs.rs # Or whatever test you like.
+cargo +nightly run -- -Zmiri-disable-validation tests/run-pass/vecs.rs # Or whatever test you like.
 ```
 
+We have to disable validation because that can lead to errors when libstd is not
+compiled the right way.
+
 ## Running Miri with full libstd
 
-Per default libstd does not contain the MIR of non-polymorphic functions. When
-Miri hits a call to such a function, execution terminates. To fix this, it is
-possible to compile libstd with full MIR:
+Per default libstd does not contain the MIR of non-polymorphic functions, and
+also does not contain some extra MIR statements that miri needs for validation.
+When Miri hits a call to such a function, execution terminates, and even when
+the MIR is present, validation can fail.  To fix this, it is possible to compile
+libstd with full MIR:
 
 ```sh
 rustup component add --toolchain nightly rust-src