-# Miri [[slides](https://solson.me/miri-slides.pdf)] [[report](https://solson.me/miri-report.pdf)] [![Build Status](https://travis-ci.org/solson/miri.svg?branch=master)](https://travis-ci.org/solson/miri)
+# Miri [[slides](https://solson.me/miri-slides.pdf)] [[report](https://solson.me/miri-report.pdf)] [![Build Status](https://travis-ci.org/solson/miri.svg?branch=master)](https://travis-ci.org/solson/miri) [![Windows build status](https://ci.appveyor.com/api/projects/status/github/solson/miri?svg=true)](https://ci.appveyor.com/project/solson63299/miri)
An experimental interpreter for [Rust][rust]'s [mid-level intermediate
## Running tests
```sh
-cargo run --bin miri tests/run-pass/vecs.rs # Or whatever test you like.
+cargo run --bin miri tests/run-pass-fullmir/vecs.rs # Or whatever test you like.
```
## Debugging
possible to compile libstd with full MIR:
```sh
+rustup component add rust-src
cargo install xargo
cd xargo/
-RUSTFLAGS='-Zalways-encode-mir' xargo build --target `rustc -vV | egrep '^host: ' | sed 's/^host: //'`
+RUSTFLAGS='-Zalways-encode-mir' xargo build
```
Now you can run miri against the libstd compiled by xargo:
```sh
-cargo run --bin miri -- --sysroot ~/.xargo/HOST tests/run-pass/vecs.rs
+MIRI_SYSROOT=~/.xargo/HOST cargo run --bin miri tests/run-pass-fullmir/vecs.rs
```
Notice that you will have to re-run the last step of the preparations above when
-your toolchain changes (e.g., when you update the nightly). Also, xargo doesn't
-currently work with nightlies newer than 2017-04-23.
+your toolchain changes (e.g., when you update the nightly).
## Contributing and getting help