@@ -265,10 +265,6 @@ environment variable:
265
265
* `-Zmiri-disable-isolation` disables host isolation. As a consequence,
266
266
the program has access to host resources such as environment variables, file
267
267
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.
272
268
* `-Zmiri-isolation-error=<action>` configures Miri's response to operations
273
269
requiring host access while isolation is enabled. `abort`, `hide`, `warn`,
274
270
and `warn-nobacktrace` are the supported actions. The default is to `abort`,
@@ -290,6 +286,10 @@ environment variable:
290
286
This can be used to find which parts of your program are executing slowly under Miri.
291
287
The profile is written out to a file with the prefix `<name>`, and can be processed
292
288
using the tools in the repository https://github.com/rust-lang/measureme.
289
+ * `-Zmiri-mute-stdout-stderr` silently ignores all writes to stdout and stderr,
290
+ but reports to the program that it did actually write. This is useful when you
291
+ are not interested in the actual program's messages, but only want to see miri's
292
+ errors and warnings.
293
293
* `-Zmiri-panic-on-unsupported` will makes some forms of unsupported functionality,
294
294
such as FFI and unsupported syscalls, panic within the context of the emulated
295
295
application instead of raising an error within the context of Miri (and halting
0 commit comments