File tree 1 file changed +2
-2
lines changed
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -290,7 +290,7 @@ environment variable. We first document the most relevant and most commonly used
290
290
* `-Zmiri-compare-exchange-weak-failure-rate=<rate>` changes the failure rate of
291
291
` compare_exchange_weak` operations. The default is `0.8` (so 4 out of 5 weak ops will fail).
292
292
You can change it to any value between `0.0` and `1.0`, where `1.0` means it
293
- will always fail and `0.0` means it will never fail. Note than setting it to
293
+ will always fail and `0.0` means it will never fail. Note that setting it to
294
294
` 1.0` will likely cause hangs, since it means programs using
295
295
` compare_exchange_weak` cannot make progress.
296
296
* `-Zmiri-disable-isolation` disables host isolation. As a consequence,
@@ -392,7 +392,7 @@ to Miri failing to detect cases of undefined behavior in a program.
392
392
but reports to the program that it did actually write. This is useful when you
393
393
are not interested in the actual program's output, but only want to see Miri's
394
394
errors and warnings.
395
- * `-Zmiri-panic-on-unsupported` will makes some forms of unsupported functionality,
395
+ * `-Zmiri-panic-on-unsupported` will make some forms of unsupported functionality,
396
396
such as FFI and unsupported syscalls, panic within the context of the emulated
397
397
application instead of raising an error within the context of Miri (and halting
398
398
execution). Note that code might not expect these operations to ever panic, so
You can’t perform that action at this time.
0 commit comments