From 289606f1d84bad0bfddb8818459245a788be634b Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 6 Dec 2019 09:41:14 +0100 Subject: [PATCH] Miri now supports catching panics --- .gitignore | 2 +- scripts/run_miri.sh | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.gitignore b/.gitignore index 665fc20..d2599e3 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,2 @@ target -./Cargo.lock +/Cargo.lock diff --git a/scripts/run_miri.sh b/scripts/run_miri.sh index 42f2884..817928a 100644 --- a/scripts/run_miri.sh +++ b/scripts/run_miri.sh @@ -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