-
Notifications
You must be signed in to change notification settings - Fork 421
/
miri.sh
19 lines (17 loc) · 1.02 KB
/
miri.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
set -ex
if rustup component add miri ; then
cargo miri setup
cargo miri test --no-default-features -- -Zmiri-seed=42 -- -Zunstable-options --exclude-should-panic
cargo miri test --features=serde1,log -- -Zmiri-seed=42 -- -Zunstable-options --exclude-should-panic
cargo miri test --manifest-path rand_core/Cargo.toml
cargo miri test --manifest-path rand_core/Cargo.toml --no-default-features
#cargo miri test --manifest-path rand_distr/Cargo.toml # no unsafe and lots of slow tests
cargo miri test --manifest-path rand_isaac/Cargo.toml --features=serde1
cargo miri test --manifest-path rand_pcg/Cargo.toml --features=serde1
cargo miri test --manifest-path rand_xorshift/Cargo.toml --features=serde1
cargo miri test --manifest-path rand_xoshiro/Cargo.toml
cargo miri test --manifest-path rand_chacha/Cargo.toml
cargo miri test --manifest-path rand_hc/Cargo.toml
cargo miri test --manifest-path rand_jitter/Cargo.toml
cargo miri test --manifest-path rand_os/Cargo.toml -- -Zmiri-seed=42
fi