mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[nit][typo] Remove "currently" that breaks reading flow.

Browse Source
This commit is contained in:
Taras Tsugrii 2023-08-07 20:00:45 -05:00
parent 31e9f7a6ef
commit bb32b0fa3c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/README.md
View File

@ -53,7 +53,7 @@ behavior** in your program, and cannot run all programs:
positives here, so if your program runs fine in Miri right now that is by no positives here, so if your program runs fine in Miri right now that is by no
means a guarantee that it is UB-free when these questions get answered. means a guarantee that it is UB-free when these questions get answered.
In particular, Miri does currently not check that references point to valid data. In particular, Miri does not check that references point to valid data.
* If the program relies on unspecified details of how data is laid out, it will * If the program relies on unspecified details of how data is laid out, it will
still run fine in Miri -- but might break (including causing UB) on different still run fine in Miri -- but might break (including causing UB) on different
compiler versions or different platforms. compiler versions or different platforms.