diff options
| -rw-r--r-- | src/tools/miri/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index fb2ac0b267e..95b99e9a54e 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -311,7 +311,7 @@ environment variable. We first document the most relevant and most commonly used * `-Zmiri-env-forward=<var>` forwards the `var` environment variable to the interpreted program. Can be used multiple times to forward several variables. Execution will still be deterministic if the value of forwarded variables stays the same. Has no effect if `-Zmiri-disable-isolation` is set. -* `-Zmiri-env-set=<var>=<value>` sets the `var` environment variable to `value` in the interpreted. +* `-Zmiri-env-set=<var>=<value>` sets the `var` environment variable to `value` in the interpreted program. It can be used to pass environment variables without needing to alter the host environment. It can be used multiple times to set several variables. If `-Zmiri-disable-isolation` or `-Zmiri-env-forward` is set, values set with this option will have priority over values from the host environment. |