From 96c6b19f3f178e6cd80ce03e9d7c997afa2ad9de Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 26 Dec 2018 17:01:03 +0100 Subject: [PATCH] advertise Miri a bit more --- personal/_posts/2018-12-26-stacked-borrows-barriers.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/personal/_posts/2018-12-26-stacked-borrows-barriers.md b/personal/_posts/2018-12-26-stacked-borrows-barriers.md index 085a97a..e68663d 100644 --- a/personal/_posts/2018-12-26-stacked-borrows-barriers.md +++ b/personal/_posts/2018-12-26-stacked-borrows-barriers.md @@ -8,6 +8,9 @@ Neither project is by any means "done", of course. However, both have reached a fairly reasonable state, so I felt some kind of closing report made sense. Also, if I ever want to finish my PhD, I'll have to seriously scale down the amount of time I work on Rust -- so at least from my side, things will move more slowly from now on. +In particular, installing Miri and running your test suite in it is now just a single command away! +Scroll all the way down if you are not interested in the rest. + ## Stacked Borrows Tweaks -- 2.30.2