Skip to content

Commit 1200561

Browse files
Johnathan Van WhyRalfJung
andauthored
README.md: Apply RalfJung's suggestion
`-Zmiri-track-raw-pointers` isn't *much* more restrictive than normal Stacked Borrows. Co-authored-by: Ralf Jung <post@ralfj.de>
1 parent 03be413 commit 1200561

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -256,7 +256,7 @@ environment variable:
256256
indicates a pointer that was cast from an integer, so Miri was unable to track
257257
this pointer. Note that it is not currently guaranteed that code that works
258258
with `-Zmiri-track-raw-pointers` also works without
259-
`-Zmiri-track-raw-pointers`.
259+
`-Zmiri-track-raw-pointers`, but for the vast majority of code, this will be the case.
260260

261261
Some native rustc `-Z` flags are also very relevant for Miri:
262262

0 commit comments

Comments
 (0)