yggdrasil/rand
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

miri can catch panics now

Browse Source
This commit is contained in:
Ralf Jung 2019-11-22 22:57:03 +01:00
parent aa67fd1d81
commit b1d744cab0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
utils/ci/miri.sh
View File

@ -7,8 +7,8 @@ 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 --no-default-features
cargo miri test --features=log
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