From e6665109e0708675563d391ede46b2bdf24e8ecc Mon Sep 17 00:00:00 2001 From: Yonggang Luo Date: Fri, 9 Oct 2020 13:16:03 +0800 Subject: [PATCH] Update README.md Note however that [leak checking is currently disabled on Windows targets](https://github.com/rust-lang/miri/issues/1302). Windows issue are fixed --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index 2b015104828..ceaf993924e 100644 --- a/README.md +++ b/README.md @@ -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 -- 2.44.0