update README.md

2017-09-30 15:07:07 +08:00 · 2017-09-30 15:07:07 +08:00 · 3d1332d7f8
commit 3d1332d7f8
parent ed674f7cb3
1 changed files with 1 additions and 1 deletions
--- a/README.md
+++ b/README.md
@ -37,7 +37,7 @@ how to fix it, you could send a PR. :smile:
 ## Running tests

 ```sh
-cargo run --bin miri tests/run-pass/vecs.rs # Or whatever test you like.
+cargo run --bin miri tests/run-pass-fullmir/vecs.rs # Or whatever test you like.
 ```

 ## Debugging