Skip to content

Commit e7b8ec2

Browse files
landaireRalfJung
andauthored
Update README.md
Co-authored-by: Ralf Jung <post@ralfj.de>
1 parent a43dc41 commit e7b8ec2

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -228,8 +228,8 @@ environment variable:
228228
This can be used to find which parts of your program are executing slowly under Miri.
229229
The profile is written out to a file with the prefix `<name>`, and can be processed
230230
using the tools in the repository https://github.com/rust-lang/measureme.
231-
* `-Zmiri-panic-on-unsupported` will makes some forms of unsupported functionality
232-
such as FFI and unsupported syscalls panic within the context of the emulated
231+
* `-Zmiri-panic-on-unsupported` will makes some forms of unsupported functionality,
232+
such as FFI and unsupported syscalls, panic within the context of the emulated
233233
application instead of raising an error within the context of Miri (and halting
234234
execution). Note that code might not expect these operations to ever panic, so
235235
this flag can lead to strange(mis)behavior.

0 commit comments

Comments
 (0)