From 441442e07113ae9cad93243fb6e178b1b6b1665e Mon Sep 17 00:00:00 2001 From: Taiki Endo Date: Sat, 23 Feb 2019 19:56:29 +0900 Subject: [PATCH] Update some links --- Cargo.toml | 2 +- README.md | 6 +++--- tests/run-pass/validation_lifetime_resolution.rs | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index da876423ce..1a1a1fa233 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -5,7 +5,7 @@ authors = ["Scott Olson "] 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" diff --git a/README.md b/README.md index 897bf0b66e..856e127313 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# 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 @@ -28,11 +28,11 @@ Miri has already discovered some [real-world bugs](#bugs-found-by-miri). 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 diff --git a/tests/run-pass/validation_lifetime_resolution.rs b/tests/run-pass/validation_lifetime_resolution.rs index 4d919f7352..3375632c9d 100644 --- a/tests/run-pass/validation_lifetime_resolution.rs +++ b/tests/run-pass/validation_lifetime_resolution.rs @@ -22,7 +22,7 @@ fn foo(mut x: T) where for<'a> &'a mut T: Id 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 . + // type. Currently, this is NOT working correctly; see . } fn main() {