2 Commits

Author	SHA1	Message	Date
Aaron Hill	5530d295ad	Simplify cast using as_mut_ptr()	2019-04-08 21:36:35 -04:00
Aaron Hill	73239573c9	Implement non-deterministc mode ... Part of #653 This allows us to properly implement getrandom(), which unlocks the default HashMap type (e.g. HashMap<K, V>) with RandomState) This commit adds a new '-Zmiri-seed=<seed>' option. When present, this option takes a 64-bit hex value, which is used as the seed to an internal PRNG. This PRNG is used to implement the 'getrandom()' syscall. When '-Zmiri-seed' is not passed, 'getrandom()' will be disabled.	2019-04-07 19:26:20 -04:00