Skip to content

Commit d85f2bc

Browse files
committed
miri is a little slower
1 parent 847b441 commit d85f2bc

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

src/map.rs

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3900,8 +3900,13 @@ mod test_map {
39003900
fn test_into_iter_refresh() {
39013901
use core::hash::{BuildHasher, Hash, Hasher};
39023902

3903+
#[cfg(miri)]
3904+
const N: usize = 32;
3905+
#[cfg(not(miri))]
3906+
const N: usize = 128;
3907+
39033908
let mut rng = rand::thread_rng();
3904-
for n in 0..128 {
3909+
for n in 0..N {
39053910
let mut m = HashMap::new();
39063911
for i in 0..n {
39073912
assert!(m.insert(i, 2 * i).is_none());

0 commit comments

Comments
 (0)