From: Ralf Jung Date: Sun, 16 Feb 2020 11:37:15 +0000 (+0100) Subject: update README X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=fda6104ee9bd7dee1f50a9ca2891ca27169040e0;p=rust.git update README --- diff --git a/README.md b/README.md index cf18e6a0670..b5e54e64bc4 100644 --- a/README.md +++ b/README.md @@ -147,8 +147,8 @@ Several `-Z` flags are relevant for Miri: * `-Zmiri-seed=` is a custom `-Z` flag added by Miri. It configures the seed of the RNG that Miri uses to resolve non-determinism. This RNG is used - to pick base addresses for allocations, and when the interpreted program - requests system entropy. The default seed is 0. + to pick base addresses for allocations. When isolation is enabled (the default), + this is also used to emulate system entropy. The default seed is 0. **NOTE**: This entropy is not good enough for cryptographic use! Do not generate secret keys in Miri or perform other kinds of cryptographic operations that rely on proper random numbers. @@ -157,8 +157,8 @@ Several `-Z` flags are relevant for Miri: useful for debugging. It means Miri will miss bugs in your program. However, this can also help to make Miri run faster. * `-Zmiri-disable-isolation` disables host host isolation. As a consequence, - the program has access to host resources such as environment variables and - randomness (and, eventually, file systems and more). + the program has access to host resources such as environment variables, file + systems, and randomness. * `-Zmiri-ignore-leaks` disables the memory leak checker. * `-Zmiri-env-exclude=` keeps the `var` environment variable isolated from the host. Can be used multiple times to exclude several variables. The `TERM`