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

generalize readme

Browse source
This commit is contained in:
Ralf Jung 2019-11-19 20:40:06 +01:00
parent cf65c0cca6
commit a4eb34b3e1
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -61,8 +61,8 @@ rustup component add miri
If `rustup` says the `miri` component is unavailable, that's because not all
nightly releases come with all tools. Check out
[this website](https://rust-lang.github.io/rustup-components-history) to
determine a nightly version that comes with Miri and install that, e.g. using
`rustup install nightly-2019-03-28`.
determine a nightly version that comes with Miri and install that using
`rustup install nightly-YYYY-MM-DD`.
Now you can run your project in Miri: