From 86a4354746c81d06fc09c5c0633449a26bee442a Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 21 Feb 2020 08:34:25 +0100 Subject: [PATCH] fix README --- README.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 1f008e735e..f16751cd74 100644 --- a/README.md +++ b/README.md @@ -171,11 +171,10 @@ Several `-Z` flags are relevant for Miri: sets this flag per default. * `-Zmir-emit-retag` controls whether `Retag` statements are emitted. Miri enables this per default because it is needed for validation. -* `-Zmiri-track-pointer-tag=` aborts interpretation with a backtrace when the - given pointer tag is popped from a borrow stack (which is where the tag - becomes invalid and any future use of it will error anyway). This helps you - in finding out why UB is happening and where in your code would be a good - place to look for it. +* `-Zmiri-track-pointer-tag=` shows a backtrace when the given pointer tag + is popped from a borrow stack (which is where the tag becomes invalid and any + future use of it will error). This helps you in finding out why UB is + happening and where in your code would be a good place to look for it. Moreover, Miri recognizes some environment variables: