diff options
| author | Jake <jakeroggenbuck2@gmail.com> | 2024-10-07 13:06:23 -0700 |
|---|---|---|
| committer | Jake <jakeroggenbuck2@gmail.com> | 2024-10-07 13:06:23 -0700 |
| commit | 0130edd3026384ae831d19349aff8921a7eb93ca (patch) | |
| tree | ba7a827f86f73d5a4c692826e7a18130f531026d | |
| parent | ee491b39f66d4a915d1d462247576c1aa78912e6 (diff) | |
| download | rust-0130edd3026384ae831d19349aff8921a7eb93ca.tar.gz rust-0130edd3026384ae831d19349aff8921a7eb93ca.zip | |
Fix spelling in README
| -rw-r--r-- | src/tools/miri/README.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index f6349f45f43..9a50079bc94 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -290,7 +290,7 @@ environment variable. We first document the most relevant and most commonly used * `-Zmiri-compare-exchange-weak-failure-rate=<rate>` changes the failure rate of `compare_exchange_weak` operations. The default is `0.8` (so 4 out of 5 weak ops will fail). You can change it to any value between `0.0` and `1.0`, where `1.0` means it - will always fail and `0.0` means it will never fail. Note than setting it to + will always fail and `0.0` means it will never fail. Note that setting it to `1.0` will likely cause hangs, since it means programs using `compare_exchange_weak` cannot make progress. * `-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. but reports to the program that it did actually write. This is useful when you 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, +* `-Zmiri-panic-on-unsupported` will make some forms of unsupported functionality, such as FFI and unsupported syscalls, panic within the context of the emulated application instead of raising an error within the context of Miri (and halting execution). Note that code might not expect these operations to ever panic, so |
