-Zmiri-seed option is no longer needed

rust-random · Jul 24, 2019 · f4f420b · f4f420b
1 parent 122b729
commit f4f420b
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