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

tweak isolation-error message in README

Browse source
This commit is contained in:
Ralf Jung 2021-06-09 21:09:17 +02:00
parent 6c63506e97
commit 87f2073c80
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
README.md
View file

@ -221,11 +221,11 @@ environment variable:
systems, and randomness.
* `-Zmiri-isolation-error=<action>` configures Miri's response to operations
requiring host access while isolation is enabled. `abort`, `hide`, `warn`,
and `warn-nobacktrace` are the supported actions. Default action is `abort`
which halts the machine. Rest of the actions configure it to return an error
code for the op and continue executing. `warn` prints backtrace that could
be used to trace the call. `warn-nobacktrace` is less verbose without
backtrace. `hide` hides the warning.
and `warn-nobacktrace` are the supported actions. The default is to `abort`,
which halts the machine. Some (but not all) operations also support continuing
execution with a "permission denied" error being returned to the program.
`warn` prints a full backtrace when that happen; `warn-nobacktrace` is less
verbose. `hide` hides the warning entirely.
* `-Zmiri-env-exclude=<var>` keeps the `var` environment variable isolated from
the host so that it cannot be accessed by the program. Can be used multiple
times to exclude several variables. On Windows, the `TERM` environment