X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/bf61e9169e7e1fa7f7613a0878cde76adeb8d33f..f5c87afd3b6d05dd0e1dc9c677988bd38427b607:/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 085a97a..d384a02 100644 --- 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 +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. @@ -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. +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 @@ -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 ``` -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).