From f4f420bcc988f56744734ca6044316c01583d170 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 24 Jul 2019 15:44:03 +0200 Subject: [PATCH] -Zmiri-seed option is no longer needed --- utils/ci/miri.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/utils/ci/miri.sh b/utils/ci/miri.sh index 6cd569210c3..209adf21c8b 100644 --- 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