From 08180f07baca0ea1fdc7672eca7dfdee9f860851 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 7 Feb 2019 13:07:47 +0100 Subject: [PATCH] update docs --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 46a46b3e7a80..1d97b61f43d5 100644 --- a/README.md +++ b/README.md @@ -48,12 +48,12 @@ Now you can run your project in Miri: 3. If you have a binary project, you can run it through Miri using `cargo +nightly miri run`. -When running code via `cargo miri`, the `cargo-miri` feature is set. You can +When running code via `cargo miri`, the `miri` config flag is set. You can use this to exclude test cases that will fail under Miri because they do things Miri does not support: ```rust -#[cfg(not(feature = "cargo-miri"))] +#[cfg(not(miri))] #[test] fn does_not_work_on_miri() { let x = 0u8;