Merge pull request #851 from RalfJung/miri

miri: -Zmiri-seed option is no longer needed
rust-random · Jul 26, 2019 · 8e83a65 · 8e83a65
2 parents 684aa8f + f4f420b
commit 8e83a65
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/utils/ci/miri.sh b/utils/ci/miri.sh
@@ -7,8 +7,8 @@ rustup default "$MIRI_NIGHTLY"
 rustup component add miri
 cargo miri setup
 
-cargo miri test --no-default-features -- -Zmiri-seed=42 -- -Zunstable-options --exclude-should-panic
-cargo miri test --features=log -- -Zmiri-seed=42 -- -Zunstable-options --exclude-should-panic
+cargo miri test --no-default-features -- -- -Zunstable-options --exclude-should-panic
+cargo miri test --features=log -- -- -Zunstable-options --exclude-should-panic
 cargo miri test --manifest-path rand_core/Cargo.toml
 cargo miri test --manifest-path rand_core/Cargo.toml --features=serde1
 cargo miri test --manifest-path rand_core/Cargo.toml --no-default-features
@@ -20,4 +20,4 @@ cargo miri test --manifest-path rand_xoshiro/Cargo.toml --features=serde1
 cargo miri test --manifest-path rand_chacha/Cargo.toml --no-default-features
 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
+cargo miri test --manifest-path rand_os/Cargo.toml