]> git.lizzy.rs Git - rust.git/commitdiff
add docs for `cargo miri`
authorOliver Schneider <oli-obk@users.noreply.github.com>
Thu, 2 Feb 2017 11:59:41 +0000 (12:59 +0100)
committerGitHub <noreply@github.com>
Thu, 2 Feb 2017 11:59:41 +0000 (12:59 +0100)
README.md

index 03949135b4b2b51a34695aa34cadcb43ef221a67..3822e9ac10cc4808b3f1d09405b0a24336224904 100644 (file)
--- a/README.md
+++ b/README.md
@@ -47,6 +47,13 @@ environment variable to `trace`. These traces are indented based on call stack
 depth. You can get a much less verbose set of information with other logging
 levels such as `warn`.
 
+## Running miri on your own project('s test suite)
+
+Install miri as a cargo subcommand with `cargo install --debug`.
+Then, inside your own project, use `cargo +nightly miri` to run your project, if it is
+a bin project, or run `cargo +nightly miri test` to run all tests in your project
+through miri.
+
 ## Contributing and getting help
 
 Check out the issues on this GitHub repository for some ideas. There's lots that