description = "An experimental interpreter for Rust MIR."
license = "MIT/Apache-2.0"
name = "miri"
-repository = "https://github.com/solson/miri"
+repository = "https://github.com/rust-lang/miri"
version = "0.1.0"
build = "build.rs"
default-run = "miri"
-# Miri [![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)
+# Miri [![Build Status](https://travis-ci.com/rust-lang/miri.svg?branch=master)](https://travis-ci.com/rust-lang/miri) [![Windows build status](https://ci.appveyor.com/api/projects/status/github/rust-lang/miri?svg=true)](https://ci.appveyor.com/project/rust-lang-libs/miri)
An experimental interpreter for [Rust][rust]'s
Install Miri as a cargo subcommand:
```sh
-cargo +nightly install --force --git https://github.com/solson/miri miri
+cargo +nightly install --force --git https://github.com/rust-lang/miri miri
```
If this does not work, try using the nightly version given in
-[this file](https://raw.githubusercontent.com/solson/miri/master/rust-version). CI
+[this file](https://raw.githubusercontent.com/rust-lang/miri/master/rust-version). CI
should ensure that this nightly always works.
You have to use a consistent Rust version for building miri and your project, so
let _y = x.id();
// Inspecting the trace should show that _y has a type involving a local lifetime, when it gets validated.
// Unfortunately, there doesn't seem to be a way to actually have a test fail if it does not have the right
- // type. Currently, this is NOT working correctly; see <https://github.com/solson/miri/issues/298>.
+ // type. Currently, this is NOT working correctly; see <https://github.com/rust-lang/miri/issues/298>.
}
fn main() {