fix formatting

[web.git] / personal / _posts / 2018-12-26-stacked-borrows-barriers.md

diff --git a/personal/_posts/2018-12-26-stacked-borrows-barriers.md b/personal/_posts/2018-12-26-stacked-borrows-barriers.md
index 085a97a2b8e539bc65a02a6711a354c363fb99f9..d384a025a2f46dd1d9f3981eeb1867ba41d32373 100644 (file)
--- a/personal/_posts/2018-12-26-stacked-borrows-barriers.md
+++ b/personal/_posts/2018-12-26-stacked-borrows-barriers.md
@@ -1,6 +1,7 @@
 ---
 title: "Barriers and Two-phase Borrows in Stacked Borrows"
 categories: internship rust
 ---
 title: "Barriers and Two-phase Borrows in Stacked Borrows"
 categories: internship rust

+forum: https://internals.rust-lang.org/t/barriers-and-two-phase-borrows-in-stacked-borrows/9100

 ---
 
 My internship ("research assistantship") with Mozilla has ended several weeks ago, and this post is a report of the most recent tweaks I made to Miri and Stacked Borrows.
 ---
 
 My internship ("research assistantship") with Mozilla has ended several weeks ago, and this post is a report of the most recent tweaks I made to Miri and Stacked Borrows.


@@ -8,6 +9,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


@@ -148,7 +152,7 @@ Finally, I decided to spend some time making Miri easier to install and use and
 Now all you have to do is run
 
 ```
 Now all you have to do is run
 
 ```

-cargo +nightly install --git https://github.com/solson/miri/ miri
+cargo +nightly install --force --git https://github.com/solson/miri miri

 ```
 
 and then go to your project directory and run `cargo +nightly miri test` (you may have to `cargo clean` first to make sure all your dependencies are built the right way for Miri).
 ```
 
 and then go to your project directory and run `cargo +nightly miri test` (you may have to `cargo clean` first to make sure all your dependencies are built the right way for Miri).