advertise Miri a bit more
authorRalf Jung <post@ralfj.de>
Wed, 26 Dec 2018 16:01:03 +0000 (17:01 +0100)
committerRalf Jung <post@ralfj.de>
Wed, 26 Dec 2018 16:01:03 +0000 (17:01 +0100)
personal/_posts/2018-12-26-stacked-borrows-barriers.md

index 085a97a2b8e539bc65a02a6711a354c363fb99f9..e68663dbb919f7730be38866742423c036544ddf 100644 (file)
@@ -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.
 
 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.
+
 <!-- MORE -->
 
 ## Stacked Borrows Tweaks
 <!-- MORE -->
 
 ## Stacked Borrows Tweaks