From: Ralf Jung Date: Sun, 3 Jul 2022 02:12:17 +0000 (-0400) Subject: typo X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/09ff42fa71dc7358ecec8b9e4af9e7fa57781589 typo --- diff --git a/personal/_posts/2022-07-02-miri.md b/personal/_posts/2022-07-02-miri.md index 78f4bbb..580f057 100644 --- a/personal/_posts/2022-07-02-miri.md +++ b/personal/_posts/2022-07-02-miri.md @@ -200,7 +200,7 @@ Passing all of these flags will make Miri's concurrency entirely deterministic. That can be useful to avoid non-deterministic test failures, but note that this will also mask many real-world bugs. Those test failures are often real, even if they can be hard to track down! -If you are still having trouble, feel free to come visit us in our [Zulip stram](https://rust-lang.zulipchat.com/#narrow/stream/269128-miri), which is the official communication channel for Miri. +If you are still having trouble, feel free to come visit us in our [Zulip stream](https://rust-lang.zulipchat.com/#narrow/stream/269128-miri), which is the official communication channel for Miri. By the way, if you are still disabling some tests on Miri because Miri used to not support panics/concurrency, it's time to give those tests another try. :) So this is a good opportunity to go over your `cfg(miri)` and similar attributes and re-evaluate if they are still needed. @@ -226,7 +226,7 @@ That document is also a great starting point for any other questions you might h Miri is also integrated into the [Rust Playground](https://play.rust-lang.org/): you can select Miri in the "Tools" menu to check the code for Undefined Behavior. If Miri complains about your code and you do not understand why, we are happy to help! -The best place to ask for support is our [Zulip stram](https://rust-lang.zulipchat.com/#narrow/stream/269128-miri). +The best place to ask for support is our [Zulip stream](https://rust-lang.zulipchat.com/#narrow/stream/269128-miri). Questions are much easier to answer if you manage to reproduce the problem in a small self-contained bit of example code (ideally on the playground), but feel free to ask even if you do not know how to reduce the problem. ## Helping Miri