File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 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
290290* `-Zmiri-compare-exchange-weak-failure-rate=<rate>` changes the failure rate of
291291 ` compare_exchange_weak` operations. The default is `0.8` (so 4 out of 5 weak ops will fail).
292292 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
294294 ` 1.0` will likely cause hangs, since it means programs using
295295 ` compare_exchange_weak` cannot make progress.
296296* `-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.
392392 but reports to the program that it did actually write. This is useful when you
393393 are not interested in the actual program's output, but only want to see Miri's
394394 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,
396396 such as FFI and unsupported syscalls, panic within the context of the emulated
397397 application instead of raising an error within the context of Miri (and halting
398398 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