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

add link within document

Browse Source
This commit is contained in:
Ralf Jung 2018-11-30 09:31:09 +01:00
parent 86e6470a12
commit 5032560eaa
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -138,8 +138,8 @@ rustup override set custom
export MIRI_SYSROOT=$(rustc --print sysroot)
```
With this, you should now have a working development setup! See "Testing Miri"
above for how to proceed.
With this, you should now have a working development setup! See
["Testing Miri"](#testing-miri) above for how to proceed.
Moreover, you can now run Miri with a trace of all execution steps:
```sh