You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+16-2Lines changed: 16 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -55,7 +55,11 @@ Install Miri via `rustup`:
55
55
rustup component add miri
56
56
```
57
57
58
-
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`.
58
+
If `rustup` says the `miri` component is unavailable, that's because not all
59
+
nightly releases come with all tools. Check out
60
+
[this website](https://rust-lang.github.io/rustup-components-history) to
61
+
determine a nightly version that comes with Miri and install that, e.g. using
62
+
`rustup install nightly-2019-03-28`.
59
63
60
64
Now you can run your project in Miri:
61
65
@@ -131,7 +135,17 @@ able to just `cargo build` Miri.
131
135
In case this fails, your nightly might be incompatible with Miri master. The
132
136
`rust-version` file contains the commit hash of rustc that Miri is currently
133
137
tested against; you can use that to find a nightly that works or you might have
134
-
to wait for the next nightly to get released.
138
+
to wait for the next nightly to get released. You can also use
0 commit comments