Skip to content

Commit

Permalink
Wording nit
Browse files Browse the repository at this point in the history
  • Loading branch information
oli-obk committed May 10, 2022
1 parent c8b947a commit 6dc6256
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -288,7 +288,7 @@ environment variable:
using the tools in the repository https://github.com/rust-lang/measureme.
* `-Zmiri-mute-stdout-stderr` silently ignores all writes to stdout and stderr,
but reports to the program that it did actually write. This is useful when you
are not interested in the actual program's messages, but only want to see miri's
are not interested in the actual program's output, but only want to see miri's
errors and warnings.
* `-Zmiri-panic-on-unsupported` will makes some forms of unsupported functionality,
such as FFI and unsupported syscalls, panic within the context of the emulated
Expand Down

0 comments on commit 6dc6256

Please sign in to comment.