more on 'udi' and angelic non-determinism; make some sentences less long

[web.git] / personal / _posts / 2019-03-26-miri-as-rustup-component.md

diff --git a/personal/_posts/2019-03-26-miri-as-rustup-component.md b/personal/_posts/2019-03-26-miri-as-rustup-component.md
index a1ffe4f8d11d1760c556f26674e0996a9890fc65..0c67d2f940bcca8a814b102a8f71eda424e9c863 100644 (file)
--- a/personal/_posts/2019-03-26-miri-as-rustup-component.md
+++ b/personal/_posts/2019-03-26-miri-as-rustup-component.md
@@ -1,6 +1,7 @@
 ---
 title: "Miri available as rustup component"
 categories: rust
 ---
 title: "Miri available as rustup component"
 categories: rust

+reddit: /rust/comments/b5um0v/miri_available_as_rustup_component/

 ---
 
 Running your unsafe code test suite in Miri has just gotten even easier: Miri is now available as a `rustup` component!
 ---
 
 Running your unsafe code test suite in Miri has just gotten even easier: Miri is now available as a `rustup` component!