From 3d1332d7f813fece8a0e98124aa6a7595e58d512 Mon Sep 17 00:00:00 2001 From: king6cong Date: Sat, 30 Sep 2017 15:07:07 +0800 Subject: [PATCH] update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 22cb5aed79b1..7660735a7cef 100644 --- 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