diff options
| author | leopardracer <136604165+leopardracer@users.noreply.github.com> | 2025-06-27 22:39:12 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-27 22:39:12 +0300 |
| commit | 3a34dac6c36f4e725d7e16022d12c9f58ebc6c2a (patch) | |
| tree | bed8e8b54a0bbc4e755c88bb70c7e7b914f49d8f /src | |
| parent | 9090199f49bf681aaf68322b3beedc37acea7b5f (diff) | |
| download | rust-3a34dac6c36f4e725d7e16022d12c9f58ebc6c2a.tar.gz rust-3a34dac6c36f4e725d7e16022d12c9f58ebc6c2a.zip | |
Update README.md
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index 5554c7975ff..3031d2c744a 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -592,7 +592,7 @@ Definite bugs found: * [Occasional memory leak in `std::mpsc` channels](https://github.com/rust-lang/rust/issues/121582) (original code in [crossbeam](https://github.com/crossbeam-rs/crossbeam/pull/1084)) * [Weak-memory-induced memory leak in Windows thread-local storage](https://github.com/rust-lang/rust/pull/124281) * [A bug in the new `RwLock::downgrade` implementation](https://rust-lang.zulipchat.com/#narrow/channel/269128-miri/topic/Miri.20error.20library.20test) (caught by Miri before it landed in the Rust repo) -* [Mockall reading unintialized memory when mocking `std::io::Read::read`, even if all expectations are satisfied](https://github.com/asomers/mockall/issues/647) (caught by Miri running Tokio's test suite) +* [Mockall reading uninitialized memory when mocking `std::io::Read::read`, even if all expectations are satisfied](https://github.com/asomers/mockall/issues/647) (caught by Miri running Tokio's test suite) * [`ReentrantLock` not correctly dealing with reuse of addresses for TLS storage of different threads](https://github.com/rust-lang/rust/pull/141248) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment): |