Skip to content

Commit 0df7a72

Browse files
committed
Update readme
1 parent 068c448 commit 0df7a72

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

README.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -157,6 +157,9 @@ Several `-Z` flags are relevant for Miri:
157157
is enforced by default. This is mostly useful for debugging; it means Miri
158158
will miss bugs in your program. However, this can also help to make Miri run
159159
faster.
160+
* `-Zmiri-enable-communication` enables communication between the host
161+
environment and Miri, i.e., all the host environment variables are available
162+
during Miri runtime.
160163
* `-Zmir-opt-level` controls how many MIR optimizations are performed. Miri
161164
overrides the default to be `0`; be advised that using any higher level can
162165
make Miri miss bugs in your program because they got optimized away.

0 commit comments

Comments
 (0)