From: Ralf Jung <post@ralfj.de>
Date: Wed, 13 Feb 2019 17:11:57 +0000 (+0100)
Subject: miri: test with slightly larger BTrees
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c154bf7db4d5737b55c6f85c69df136c374db3a5;p=rust.git

miri: test with slightly larger BTrees
---

diff --git a/src/liballoc/tests/btree/map.rs b/src/liballoc/tests/btree/map.rs
index a92e7479048..f14750089c9 100644
--- a/src/liballoc/tests/btree/map.rs
+++ b/src/liballoc/tests/btree/map.rs
@@ -7,10 +7,12 @@
 use super::DeterministicRng;
 
 #[test]
-#[cfg(not(miri))] // Miri is too slow
 fn test_basic_large() {
     let mut map = BTreeMap::new();
+    #[cfg(not(miri))] // Miri is too slow
     let size = 10000;
+    #[cfg(miri)]
+    let size = 200;
     assert_eq!(map.len(), 0);
 
     for i in 0..size {
@@ -73,7 +75,7 @@ fn test_iter() {
     #[cfg(not(miri))] // Miri is too slow
     let size = 10000;
     #[cfg(miri)]
-    let size = 100;
+    let size = 200;
 
     // Forwards
     let mut map: BTreeMap<_, _> = (0..size).map(|i| (i, i)).collect();
@@ -98,7 +100,7 @@ fn test_iter_rev() {
     #[cfg(not(miri))] // Miri is too slow
     let size = 10000;
     #[cfg(miri)]
-    let size = 100;
+    let size = 200;
 
     // Forwards
     let mut map: BTreeMap<_, _> = (0..size).map(|i| (i, i)).collect();
@@ -137,7 +139,7 @@ fn test_iter_mixed() {
     #[cfg(not(miri))] // Miri is too slow
     let size = 10000;
     #[cfg(miri)]
-    let size = 100;
+    let size = 200;
 
     // Forwards
     let mut map: BTreeMap<_, _> = (0..size).map(|i| (i, i)).collect();
@@ -267,7 +269,7 @@ fn test_range_1000() {
     #[cfg(not(miri))] // Miri is too slow
     let size = 1000;
     #[cfg(miri)]
-    let size = 100;
+    let size = 200;
     let map: BTreeMap<_, _> = (0..size).map(|i| (i, i)).collect();
 
     fn test(map: &BTreeMap<u32, u32>, size: u32, min: Bound<&u32>, max: Bound<&u32>) {
@@ -307,7 +309,7 @@ fn test_range() {
     #[cfg(not(miri))] // Miri is too slow
     let size = 200;
     #[cfg(miri)]
-    let size = 20;
+    let size = 30;
     let map: BTreeMap<_, _> = (0..size).map(|i| (i, i)).collect();
 
     for i in 0..size {
@@ -329,7 +331,7 @@ fn test_range_mut() {
     #[cfg(not(miri))] // Miri is too slow
     let size = 200;
     #[cfg(miri)]
-    let size = 20;
+    let size = 30;
     let mut map: BTreeMap<_, _> = (0..size).map(|i| (i, i)).collect();
 
     for i in 0..size {
@@ -506,7 +508,7 @@ fn test_clone() {
     #[cfg(not(miri))] // Miri is too slow
     let size = 100;
     #[cfg(miri)]
-    let size = 20;
+    let size = 30;
     assert_eq!(map.len(), 0);
 
     for i in 0..size {