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

Auto merge of #1609 - camelid:patch-1, r=RalfJung

Browse Source 
Fix link in README

The section it references is now in `CONTRIBUTING.md`.
This commit is contained in:
bors 2020-10-29 23:37:41 +00:00
commit 08ab8ce670
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -259,7 +259,7 @@ Some native rustc `-Z` flags are also very relevant for Miri:
Moreover, Miri recognizes some environment variables:
* `MIRI_LOG`, `MIRI_BACKTRACE` control logging and backtrace printing during
Miri executions, also [see above][testing-miri].
Miri executions, also [see "Testing the Miri driver" in `CONTRIBUTING.md`][testing-miri].
* `MIRIFLAGS` (recognized by `cargo miri` and the test suite) defines extra
flags to be passed to Miri.
* `MIRI_SYSROOT` (recognized by `cargo miri` and the test suite)
@ -281,6 +281,8 @@ different Miri binaries, and as such worth documenting:
directory after loading all the source files, but before commencing
interpretation. This is useful if the interpreted program wants a different
working directory at run-time than at build-time.
[testing-miri]: CONTRIBUTING.md#testing-the-miri-driver
## Miri `extern` functions