Miri now supports catching panics

This commit is contained in:
Ralf Jung
2019-12-06 09:41:14 +01:00
parent b47757b3ac
commit 289606f1d8
2 changed files with 4 additions and 4 deletions
+1 -1
View File
@@ -1,2 +1,2 @@
target
./Cargo.lock
/Cargo.lock
+3 -3
View File
@@ -16,6 +16,6 @@ rustup default "$MIRI_NIGHTLY"
rustup component add miri
cargo miri setup
cargo miri test --verbose -- -- -Zunstable-options --exclude-should-panic
cargo miri test --verbose --features union -- -- -Zunstable-options --exclude-should-panic
cargo miri test --verbose --all-features -- -- -Zunstable-options --exclude-should-panic
cargo miri test --verbose
cargo miri test --verbose --features union
cargo miri test --verbose --all-features