Merge pull request #354 from king6cong/readme

update README.md
2017-09-30 11:22:04 +02:00 · 2017-09-30 11:22:04 +02:00 · cf0f6da9af
commit cf0f6da9af
parent cf4b28a5ac fd5ededb29
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