Skip to content

Commit f53b5b0

Browse files
committed
Update -Zmiri-enable-communication docs
1 parent 9812963 commit f53b5b0

File tree

2 files changed

+4
-3
lines changed

2 files changed

+4
-3
lines changed

README.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -158,8 +158,8 @@ Several `-Z` flags are relevant for Miri:
158158
will miss bugs in your program. However, this can also help to make Miri run
159159
faster.
160160
* `-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.
161+
environment and Miri, i.e., Miri uses the host's random number generator and
162+
all the host environment variables are available during runtime.
163163
* `-Zmir-opt-level` controls how many MIR optimizations are performed. Miri
164164
overrides the default to be `0`; be advised that using any higher level can
165165
make Miri miss bugs in your program because they got optimized away.

src/machine.rs

+2-1
Original file line numberDiff line numberDiff line change
@@ -93,7 +93,8 @@ pub struct Evaluator<'tcx> {
9393
/// TLS state.
9494
pub(crate) tls: TlsData<'tcx>,
9595

96-
/// If enabled, the `env_vars` field is populated with the host env vars during initialization.
96+
/// If enabled, the `env_vars` field is populated with the host env vars during initialization
97+
/// and random number generation is delegated to the host.
9798
pub(crate) communicate: bool,
9899
}
99100

0 commit comments

Comments
 (0)