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

Auto merge of #2184 - RalfJung:readme, r=RalfJung

Browse Source 
fix dangling reference in the README
This commit is contained in:
bors 2022-06-03 18:49:13 +00:00
commit f8840e683e
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -296,8 +296,7 @@ environment variable. We first document the most relevant and most commonly used
* `-Zmiri-strict-provenance` enables [strict * `-Zmiri-strict-provenance` enables [strict
provenance](https://github.com/rust-lang/rust/issues/95228) checking in Miri. This means that provenance](https://github.com/rust-lang/rust/issues/95228) checking in Miri. This means that
casting an integer to a pointer yields a result with 'invalid' provenance, i.e., with provenance casting an integer to a pointer yields a result with 'invalid' provenance, i.e., with provenance
that cannot be used for any memory access. Also implies `-Zmiri-tag-raw-pointers` and that cannot be used for any memory access. Also implies `-Zmiri-tag-raw-pointers`.
`-Zmiri-check-number-validity`.
The remaining flags are for advanced use only, and more likely to change or be removed. The remaining flags are for advanced use only, and more likely to change or be removed.
Some of these are **unsound**, which means they can lead Some of these are **unsound**, which means they can lead