user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
note Miri's leak check abilities and that they are disabled on Windows
This commit is contained in:
bors 2020-04-13 15:41:50 +00:00
commit df0e32c757
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
README.md
View file

@ -17,12 +17,17 @@ for example:
* **Experimental**: Violations of the [Stacked Borrows] rules governing aliasing
for reference types
On top of that, Miri will also tell you about memory leaks: when there is memory
still allocated at the end of the execution, and that memory is not reachable
from a global `static`, Miri will raise an error. Note however that
[leak checking is currently disabled on Windows targets](https://github.com/rust-lang/miri/issues/1302).
Miri has already discovered some [real-world bugs](#bugs-found-by-miri). If you
found a bug with Miri, we'd appreciate if you tell us and we'll add it to the
list!
Be aware that Miri will **not catch all cases of undefined behavior** in your
program, and cannot run all programs:
However, be aware that Miri will **not catch all cases of undefined behavior**
in your program, and cannot run all programs:
* There are still plenty of open questions around the basic invariants for some
types and when these invariants even have to hold. Miri tries to avoid false