diff options
Diffstat (limited to 'rand/utils/ci/miri.sh')
| -rw-r--r-- | rand/utils/ci/miri.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/rand/utils/ci/miri.sh b/rand/utils/ci/miri.sh new file mode 100644 index 0000000..209adf2 --- /dev/null +++ b/rand/utils/ci/miri.sh @@ -0,0 +1,23 @@ +set -ex + +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 -- -- -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 +#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 --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 |