We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents a2fa80d + 789c8a0 commit c9a6b23Copy full SHA for c9a6b23
README.md
@@ -52,7 +52,7 @@ in your program, and cannot run all programs:
52
* Program execution is non-deterministic when it depends, for example, on where
53
exactly in memory allocations end up, or on the exact interleaving of
54
concurrent threads. Miri tests one of many possible executions of your
55
- program. You can alleviate this to some extend by running Miri with different
+ program. You can alleviate this to some extent by running Miri with different
56
values for `-Zmiri-seed`, but that will still by far not explore all possible
57
executions.
58
* Miri runs the program as a platform-independent interpreter, so the program
0 commit comments