Skip to content

Commit 5e26cda

Browse files
committed
Add readme entry
1 parent a192a19 commit 5e26cda

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

README.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -265,6 +265,10 @@ environment variable:
265265
* `-Zmiri-disable-isolation` disables host isolation. As a consequence,
266266
the program has access to host resources such as environment variables, file
267267
systems, and randomness.
268+
* `-Zmiri-mute-stdout-stderr` silently ignores all writes to stdout and stderr,
269+
but reports to the program that it did actually write. This is useful when you
270+
are not interested in the actual program's messages, but only want to see miri's
271+
errors and warnings.
268272
* `-Zmiri-isolation-error=<action>` configures Miri's response to operations
269273
requiring host access while isolation is enabled. `abort`, `hide`, `warn`,
270274
and `warn-nobacktrace` are the supported actions. The default is to `abort`,

0 commit comments

Comments
 (0)