Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
 Note however that
[leak checking is currently disabled on Windows targets](rust-lang#1302).

Windows issue are fixed
  • Loading branch information
lygstate authored Oct 9, 2020
1 parent 8ed7fac commit e666510
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,8 +19,7 @@ for example:

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).
from a global `static`, Miri will raise an error.

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
Expand Down

0 comments on commit e666510

Please sign in to comment.