user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Missing word at the end of sentence

Browse source
This commit is contained in:
Oli Scherer 2024-04-23 11:17:36 +02:00 • committed by GitHub
parent 9b9c548156
commit 4bcd5aff5c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/README.md
View file

@ -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.