expand README

diff --git a/README.md b/README.md
index fdf45951c6f29dcfaaedfb2d5811e21f1233a667..f4a762937ecd7474787fa7fcc897bf0c1d1e3ea1 100644 (file)
--- a/README.md
+++ b/README.md
@@ -286,6 +286,8 @@ different Miri binaries, and as such worth documenting:
   directory after loading all the source files, but before commencing
   interpretation. This is useful if the interpreted program wants a different
   working directory at run-time than at build-time.
+* `MIRI_VERBOSE` when set to any value tells the various `cargo-miri` phases to
+  perform verbose logging.
   
 [testing-miri]: CONTRIBUTING.md#testing-the-miri-driver