]> git.lizzy.rs Git - rust.git/blob - src/tools/miri/tests/pass-dep/random.rs
Rollup merge of #106849 - WaffleLapkin:unvec, r=Nilstrieb
[rust.git] / src / tools / miri / tests / pass-dep / random.rs
1 //@compile-flags: -Zmiri-strict-provenance
2 use rand::{rngs::SmallRng, Rng, SeedableRng};
3
4 fn main() {
5     // Test `getrandom` directly.
6     let mut data = vec![0; 16];
7     getrandom::getrandom(&mut data).unwrap();
8
9     // Try seeding with "real" entropy.
10     let mut rng = SmallRng::from_entropy();
11     let _val = rng.gen::<i32>();
12     let _val = rng.gen::<isize>();
13     let _val = rng.gen::<i128>();
14
15     // Also try per-thread RNG.
16     let mut rng = rand::thread_rng();
17     let _val = rng.gen::<i32>();
18     let _val = rng.gen::<isize>();
19     let _val = rng.gen::<i128>();
20 }