user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

better way to ignore tests in Miri

Browse source
This commit is contained in:
Ralf Jung 2019-12-07 11:43:24 +01:00
parent 754c4a4f6d
commit 1a8755384e
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
README.md
View file

@ -79,13 +79,13 @@ interpreted program or test suite after the second `--`. For example, `cargo
miri run -- -Zmiri-disable-validation` runs the program without validation of
basic type invariants and without checking the aliasing of references.
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
When compiling code via `cargo miri`, the `miri` config flag is set. You can
use this to ignore test cases that will fail under Miri because they do things
Miri does not support:
```rust
#[cfg(not(miri))]
#[test]
#[cfg_attr(miri, ignore)]
fn does_not_work_on_miri() {
std::thread::spawn(|| println!("Hello Thread!"))
.join()