not support networking. System API support varies between targets; if you run
on Windows it is a good idea to use `--target x86_64-unknown-linux-gnu` to get
better support.
-* Weak memory emulation may [produce weak behaivours](https://github.com/rust-lang/miri/issues/2301)
+* Weak memory emulation may [produce weak behaviours](https://github.com/rust-lang/miri/issues/2301)
unobservable by compiled programs running on real hardware when `SeqCst` fences are used, and it
cannot produce all behaviors possibly observable on real hardware.
Some of these are **unsound**, which means they can lead
to Miri failing to detect cases of undefined behavior in a program.
-* `-Zmiri-allow-uninit-numbers` disables the check to ensure that number types (integer and float
- types) always hold initialized data. (They must still be initialized when any actual operation,
- such as arithmetic, is performed.) Using this flag is **unsound** and
- [deprecated](https://github.com/rust-lang/miri/issues/2187). This has no effect when
- `-Zmiri-disable-validation` is present.
-* `-Zmiri-allow-ptr-int-transmute` makes Miri more accepting of transmutation between pointers and
- integers via `mem::transmute` or union/pointer type punning. This has two effects: it disables the
- check against integers storing a pointer (i.e., data with provenance), thus allowing
- pointer-to-integer transmutation, and it treats integer-to-pointer transmutation as equivalent to
- a cast. Implies `-Zmiri-permissive-provenance`. Using this flag is **unsound** and
- [deprecated](https://github.com/rust-lang/miri/issues/2188).
* `-Zmiri-disable-abi-check` disables checking [function ABI]. Using this flag
is **unsound**.
* `-Zmiri-disable-alignment-check` disables checking pointer alignment, so you