mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #790 - RalfJung:readme, r=oli-obk

Browse Source 
README: add snippet for running Miri on CI
This commit is contained in:
bors 2019-06-25 08:14:59 +00:00
commit d1873b689d
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
README.md
View File

@ -94,6 +94,24 @@ fn does_not_work_on_miri() {
}
```
### Running Miri on CI
To run Miri on CI, make sure that you handle the case where the latest nightly
does not ship the Miri component because it currently does not build. For
example, you can use the following snippet to always test with the latest
nightly that *does* come with Miri:
```sh
MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
rustup default "$MIRI_NIGHTLY"
rustup component add miri
cargo miri setup
cargo miri test -- -- -Zunstable-options --exclude-should-panic
```
### Common Problems
When using the above instructions, you may encounter a number of confusing compiler