From a2299799e6193799f4d2cb546e56589c5dd587aa Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 23 Nov 2019 08:53:53 +0100 Subject: enable more panic-catching tests in Miri --- src/liballoc/tests/binary_heap.rs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/liballoc/tests/binary_heap.rs') diff --git a/src/liballoc/tests/binary_heap.rs b/src/liballoc/tests/binary_heap.rs index 81b22ca815b..a896a1064d9 100644 --- a/src/liballoc/tests/binary_heap.rs +++ b/src/liballoc/tests/binary_heap.rs @@ -376,7 +376,10 @@ fn panic_safe() { } let mut rng = thread_rng(); const DATASZ: usize = 32; + #[cfg(not(miri))] // Miri is too slow const NTEST: usize = 10; + #[cfg(miri)] + const NTEST: usize = 1; // don't use 0 in the data -- we want to catch the zeroed-out case. let data = (1..=DATASZ).collect::>(); -- cgit 1.4.1-3-g733a5