use --exclude-should-panic

rust-lang · Mar 26, 2019 · 49a9d6c · 49a9d6c
1 parent c36d49a
commit 49a9d6c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/ci/miri.sh b/ci/miri.sh
@@ -7,5 +7,5 @@ export CARGO_NET_TIMEOUT=10
 
 if rustup component add miri ; then
     cargo miri setup
-    cargo miri test
+    cargo miri test -- -- -Zunstable-options --exclude-should-panic
 fi
diff --git a/src/map.rs b/src/map.rs
@@ -3219,7 +3219,6 @@ mod test_map {
 
     #[test]
     #[should_panic]
-    #[cfg(not(miri))] // FIXME: https://github.com/rust-lang/miri/issues/636
     fn test_index_nonexistent() {
         let mut map = HashMap::new();