Merge pull request #823 from dhardy/master
Bump versions + Edition 2018 + Pcg64
diff --git a/utils/ci/miri.sh b/utils/ci/miri.sh
index 4a866cd..34bd461 100644
--- a/utils/ci/miri.sh
+++ b/utils/ci/miri.sh
@@ -1,17 +1,22 @@
set -ex
-if rustup component add miri && cargo miri setup ; then
- 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 --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
-fi
+MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
+echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
+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=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 --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
