From 2a29ed01427b50eeb10ed2ea02128d7bb55cab8f Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 22 Jul 2018 09:48:49 +0200 Subject: [PATCH 1/2] use default-run --- Cargo.toml | 3 +++ README.md | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index c46ba7c414..417d76c54c 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,3 +1,5 @@ +cargo-features = ["default-run"] + [package] authors = ["Scott Olson "] description = "An experimental interpreter for Rust MIR." @@ -6,6 +8,7 @@ name = "miri" repository = "https://github.com/solson/miri" version = "0.1.0" build = "build.rs" +default-run = "miri" [[bin]] doc = false diff --git a/README.md b/README.md index d515aad8be..b7dfab27ef 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-fullmir/vecs.rs # Or whatever test you like. +cargo run tests/run-pass-fullmir/vecs.rs # Or whatever test you like. ``` ## Running miri on your own project('s test suite) @@ -63,7 +63,7 @@ RUSTFLAGS='-Zalways-encode-mir' xargo build Now you can run miri against the libstd compiled by xargo: ```sh -MIRI_SYSROOT=~/.xargo/HOST cargo run --bin miri tests/run-pass-fullmir/hashmap.rs +MIRI_SYSROOT=~/.xargo/HOST cargo run tests/run-pass-fullmir/hashmap.rs ``` Notice that you will have to re-run the last step of the preparations above when From 444d97fc7d94c9a8bb2f9d87c7393c6e3a6c2f12 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 22 Jul 2018 09:51:23 +0200 Subject: [PATCH 2/2] fix vecs.rs path --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b7dfab27ef..8c476270db 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 tests/run-pass-fullmir/vecs.rs # Or whatever test you like. +cargo run tests/run-pass/vecs.rs # Or whatever test you like. ``` ## Running miri on your own project('s test suite)