Skip to content

Commit 8c0ee7e

Browse files
committed
update readme
1 parent 4ad2435 commit 8c0ee7e

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

README.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -410,6 +410,11 @@ to Miri failing to detect cases of undefined behavior in a program.
410410
memory. Finally, the flag is **unsound** in the sense that Miri stops tracking details such as
411411
initialization and provenance on memory shared with native code, so it is easily possible to write
412412
code that has UB which is missed by Miri.
413+
* `-Zmiri-force-old-native-lib-mode` disables the WIP improved native code access tracking. If for
414+
whatever reason enabling native calls leads to odd behaviours or causes Miri to panic, disabling
415+
the tracer *might* fix this. This will likely be removed once the tracer has been adequately
416+
battle-tested. Note that this flag is only meaningful on Linux systems; other Unixes (currently)
417+
exclusively use the old native-lib code.
413418
* `-Zmiri-measureme=<name>` enables `measureme` profiling for the interpreted program.
414419
This can be used to find which parts of your program are executing slowly under Miri.
415420
The profile is written out to a file inside a directory called `<name>`, and can be processed

0 commit comments

Comments
 (0)