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

Fix link in README

Browse Source
This commit is contained in:
Camelid 2020-10-29 16:14:54 -07:00 committed by GitHub
parent 6359b1b0eb
commit 02af2a38ac
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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)
@ -282,6 +282,8 @@ different Miri binaries, and as such worth documenting:
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
Miri provides some `extern` functions that programs can import to access