Merge pull request #155 from RalfJung/miri

Miri now supports catching panics
2019-12-06 11:54:48 +01:00
parent badc118d6a 7ae9e2cd1f
commit 4f0faaf027
1 changed files with 1 additions and 1 deletions
@@ -12,4 +12,4 @@ rustup default "$MIRI_NIGHTLY"
 rustup component add miri
 cargo miri setup
-cargo miri test -- -- -Zunstable-options --exclude-should-panic
+cargo miri test