From da719ad20a7bdd0cd99b5dbb40cd1aaffab35d86 Mon Sep 17 00:00:00 2001 From: Jack Wrenn Date: Fri, 4 Sep 2020 18:24:18 -0400 Subject: [PATCH] quickcheck for DoubleEndedIterator on Zip --- tests/quick.rs | 28 ++++++++++++++++++++++++++++ tests/zip.rs | 2 -- 2 files changed, 28 insertions(+), 2 deletions(-) diff --git a/tests/quick.rs b/tests/quick.rs index 8208a887c..ff05a478c 100644 --- a/tests/quick.rs +++ b/tests/quick.rs @@ -1209,3 +1209,31 @@ quickcheck! { TestResult::passed() } } + +quickcheck! { + fn test_double_ended_zip_2(a: Vec, b: Vec) -> TestResult { + let mut x = + multizip((a.clone().into_iter(), b.clone().into_iter())) + .collect_vec(); + x.reverse(); + + let y = + multizip((a.into_iter(), b.into_iter())) + .rfold(Vec::new(), |mut vec, e| { vec.push(e); vec }); + + TestResult::from_bool(itertools::equal(x, y)) + } + + fn test_double_ended_zip_3(a: Vec, b: Vec, c: Vec) -> TestResult { + let mut x = + multizip((a.clone().into_iter(), b.clone().into_iter(), c.clone().into_iter())) + .collect_vec(); + x.reverse(); + + let y = + multizip((a.into_iter(), b.into_iter(), c.into_iter())) + .rfold(Vec::new(), |mut vec, e| { vec.push(e); vec }); + + TestResult::from_bool(itertools::equal(x, y)) + } +} diff --git a/tests/zip.rs b/tests/zip.rs index f1bd62ee2..5801b4232 100644 --- a/tests/zip.rs +++ b/tests/zip.rs @@ -75,5 +75,3 @@ fn zip_eq_panic2() zip_eq(&a, &b).count(); } - -