Home Original page

Revert panic_safe test changes · model-checking/verify-rust-std@384c205

Original file line numberDiff line numberDiff line change

@@ -197,7 +197,8 @@ fn panic_safe() {

197197
198198

let mut rng = test_rng();

199199
200-

let lens = if cfg!(miri) { (1..10).chain(30..36) } else { (1..20).chain(70..MAX_LEN) };

200+

// Miri is too slow (but still need to `chain` to make the types match)

201+

let lens = if cfg!(miri) { (1..10).chain(0..0) } else { (1..20).chain(70..MAX_LEN) };

201202

let moduli: &[u32] = if cfg!(miri) { &[5] } else { &[5, 20, 50] };

202203
203204

for len in lens {