diff options
| author | Ralf Jung <post@ralfj.de> | 2019-04-17 19:11:56 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-04-18 13:37:14 +0200 |
| commit | 29eed6b931c28cb30a42d80c0be11bc900fd356b (patch) | |
| tree | 08fb73cb179f72af7a76e3ac50de3a0c67fb8fb0 /src/liballoc/collections | |
| parent | 3c3d3c1777041200bb7ed7a65b6562d62899778c (diff) | |
| download | rust-29eed6b931c28cb30a42d80c0be11bc900fd356b.tar.gz rust-29eed6b931c28cb30a42d80c0be11bc900fd356b.zip | |
make liballoc internal test suite mostly pass in Miri
Diffstat (limited to 'src/liballoc/collections')
| -rw-r--r-- | src/liballoc/collections/linked_list.rs | 2 | ||||
| -rw-r--r-- | src/liballoc/collections/vec_deque.rs | 11 |
2 files changed, 12 insertions, 1 deletions
diff --git a/src/liballoc/collections/linked_list.rs b/src/liballoc/collections/linked_list.rs index d6d84a4f083..cb390aa419e 100644 --- a/src/liballoc/collections/linked_list.rs +++ b/src/liballoc/collections/linked_list.rs @@ -1354,6 +1354,7 @@ mod tests { #[test] #[cfg_attr(target_os = "emscripten", ignore)] + #[cfg(not(miri))] // Miri does not support threads fn test_send() { let n = list_from(&[1, 2, 3]); thread::spawn(move || { @@ -1371,6 +1372,7 @@ mod tests { for _ in 0..25 { fuzz_test(3); fuzz_test(16); + #[cfg(not(miri))] // Miri is too slow fuzz_test(189); } } diff --git a/src/liballoc/collections/vec_deque.rs b/src/liballoc/collections/vec_deque.rs index 4bea615ab86..2ecc1df17de 100644 --- a/src/liballoc/collections/vec_deque.rs +++ b/src/liballoc/collections/vec_deque.rs @@ -2799,6 +2799,7 @@ mod tests { use super::VecDeque; #[bench] + #[cfg(not(miri))] // Miri does not support benchmarks fn bench_push_back_100(b: &mut test::Bencher) { let mut deq = VecDeque::with_capacity(101); b.iter(|| { @@ -2811,6 +2812,7 @@ mod tests { } #[bench] + #[cfg(not(miri))] // Miri does not support benchmarks fn bench_push_front_100(b: &mut test::Bencher) { let mut deq = VecDeque::with_capacity(101); b.iter(|| { @@ -2823,6 +2825,7 @@ mod tests { } #[bench] + #[cfg(not(miri))] // Miri does not support benchmarks fn bench_pop_back_100(b: &mut test::Bencher) { let mut deq = VecDeque::<i32>::with_capacity(101); @@ -2836,6 +2839,7 @@ mod tests { } #[bench] + #[cfg(not(miri))] // Miri does not support benchmarks fn bench_pop_front_100(b: &mut test::Bencher) { let mut deq = VecDeque::<i32>::with_capacity(101); @@ -3090,6 +3094,11 @@ mod tests { fn test_vec_from_vecdeque() { use crate::vec::Vec; + #[cfg(not(miri))] // Miri is too slow + let max_pwr = 7; + #[cfg(miri)] + let max_pwr = 5; + fn create_vec_and_test_convert(cap: usize, offset: usize, len: usize) { let mut vd = VecDeque::with_capacity(cap); for _ in 0..offset { @@ -3103,7 +3112,7 @@ mod tests { assert!(vec.into_iter().eq(vd)); } - for cap_pwr in 0..7 { + for cap_pwr in 0..max_pwr { // Make capacity as a (2^x)-1, so that the ring size is 2^x let cap = (2i32.pow(cap_pwr) - 1) as usize; |
