diff options
| author | Ralf Jung <post@ralfj.de> | 2019-11-23 08:53:53 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-11-23 08:53:53 +0100 |
| commit | a2299799e6193799f4d2cb546e56589c5dd587aa (patch) | |
| tree | ee031762c265d0cd529bf6a800195b6e3baa7ffb /src/liballoc/tests/binary_heap.rs | |
| parent | 8af2f22985c672bf4cb23b615ac97af00031a2ca (diff) | |
| download | rust-a2299799e6193799f4d2cb546e56589c5dd587aa.tar.gz rust-a2299799e6193799f4d2cb546e56589c5dd587aa.zip | |
enable more panic-catching tests in Miri
Diffstat (limited to 'src/liballoc/tests/binary_heap.rs')
| -rw-r--r-- | src/liballoc/tests/binary_heap.rs | 3 |
1 files changed, 3 insertions, 0 deletions
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::<Vec<_>>(); |