Merge pull request rust-lang#354 from king6cong/readme

update README.md
oli-obk · Sep 30, 2017 · cf0f6da · cf0f6da
2 parents cf4b28a + fd5eded
commit cf0f6da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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