From 0a62b7dc92978b03150f58db0dd15f98069ad44e Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 31 Jul 2020 10:21:52 +0200 Subject: make some vec_deque tests less exhaustive in Miri --- library/alloc/src/collections/vec_deque/tests.rs | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) (limited to 'library/alloc') diff --git a/library/alloc/src/collections/vec_deque/tests.rs b/library/alloc/src/collections/vec_deque/tests.rs index e5edfe02a52..d74f91c752c 100644 --- a/library/alloc/src/collections/vec_deque/tests.rs +++ b/library/alloc/src/collections/vec_deque/tests.rs @@ -107,7 +107,8 @@ fn test_insert() { let cap = tester.capacity(); // len is the length *after* insertion - for len in 1..cap { + let minlen = if cfg!(miri) { cap - 1 } else { 1 }; // Miri is too slow + for len in minlen..cap { // 0, 1, 2, .., len - 1 let expected = (0..).take(len).collect::>(); for tail_pos in 0..cap { @@ -221,7 +222,8 @@ fn test_remove() { let cap = tester.capacity(); // len is the length *after* removal - for len in 0..cap - 1 { + let minlen = if cfg!(miri) { cap - 2 } else { 0 }; // Miri is too slow + for len in minlen..cap - 1 { // 0, 1, 2, .., len - 1 let expected = (0..).take(len).collect::>(); for tail_pos in 0..cap { @@ -251,7 +253,8 @@ fn test_range() { let mut tester: VecDeque = VecDeque::with_capacity(7); let cap = tester.capacity(); - for len in 0..=cap { + let minlen = if cfg!(miri) { cap - 1 } else { 0 }; // Miri is too slow + for len in minlen..=cap { for tail in 0..=cap { for start in 0..=len { for end in start..=len { @@ -384,7 +387,8 @@ fn test_split_off() { let cap = tester.capacity(); // len is the length *before* splitting - for len in 0..cap { + let minlen = if cfg!(miri) { cap - 1 } else { 0 }; // Miri is too slow + for len in minlen..cap { // index to split at for at in 0..=len { // 0, 1, 2, .., at - 1 (may be empty) @@ -495,8 +499,9 @@ fn test_vec_from_vecdeque() { fn test_clone_from() { let m = vec![1; 8]; let n = vec![2; 12]; - for pfv in 0..8 { - for pfu in 0..8 { + let limit = if cfg!(miri) { 4 } else { 8 }; // Miri is too slow + for pfv in 0..limit { + for pfu in 0..limit { for longer in 0..2 { let (vr, ur) = if longer == 0 { (&m, &n) } else { (&n, &m) }; let mut v = VecDeque::from(vr.clone()); -- cgit 1.4.1-3-g733a5 From 7e168a696f23bf3bbb8b23ac83240910a92ff7a3 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 31 Jul 2020 10:32:31 +0200 Subject: reduce slice::panic_safe test size further in Miri --- library/alloc/tests/slice.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'library/alloc') diff --git a/library/alloc/tests/slice.rs b/library/alloc/tests/slice.rs index 75b76bb73ed..e5675915300 100644 --- a/library/alloc/tests/slice.rs +++ b/library/alloc/tests/slice.rs @@ -1722,7 +1722,7 @@ fn panic_safe() { let mut rng = thread_rng(); // Miri is too slow - let lens = if cfg!(miri) { (1..10).chain(20..21) } else { (1..20).chain(70..MAX_LEN) }; + let lens = if cfg!(miri) { (1..10).chain(0..0) } else { (1..20).chain(70..MAX_LEN) }; let moduli: &[u32] = if cfg!(miri) { &[5] } else { &[5, 20, 50] }; for len in lens { -- cgit 1.4.1-3-g733a5 From ff0c3a920996ae0b09a652c1c894329f7acdc28d Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 31 Jul 2020 14:03:42 +0200 Subject: expand comments --- library/alloc/tests/slice.rs | 2 +- library/core/tests/slice.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'library/alloc') diff --git a/library/alloc/tests/slice.rs b/library/alloc/tests/slice.rs index e5675915300..147f7f7d0c7 100644 --- a/library/alloc/tests/slice.rs +++ b/library/alloc/tests/slice.rs @@ -1721,7 +1721,7 @@ fn panic_safe() { let mut rng = thread_rng(); - // Miri is too slow + // Miri is too slow (but still need to `chain` to make the types match) let lens = if cfg!(miri) { (1..10).chain(0..0) } else { (1..20).chain(70..MAX_LEN) }; let moduli: &[u32] = if cfg!(miri) { &[5] } else { &[5, 20, 50] }; diff --git a/library/core/tests/slice.rs b/library/core/tests/slice.rs index 35502031da4..4f54ea2bd92 100644 --- a/library/core/tests/slice.rs +++ b/library/core/tests/slice.rs @@ -1267,7 +1267,7 @@ fn sort_unstable() { use core::slice::heapsort; use rand::{rngs::StdRng, seq::SliceRandom, Rng, SeedableRng}; - // Miri is too slow + // Miri is too slow (but still need to `chain` to make the types match) let lens = if cfg!(miri) { (2..20).chain(0..0) } else { (2..25).chain(500..510) }; let rounds = if cfg!(miri) { 1 } else { 100 }; -- cgit 1.4.1-3-g733a5