From c2f4530b45565499c02da732e824a6122fedcb5a Mon Sep 17 00:00:00 2001 From: Jack Wrenn Date: Fri, 4 Sep 2020 18:17:32 -0400 Subject: [PATCH] quickcheck for DoubleEndedIterator on multizip --- tests/quick.rs | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/tests/quick.rs b/tests/quick.rs index 886c40533..a990c0023 100644 --- a/tests/quick.rs +++ b/tests/quick.rs @@ -1025,3 +1025,31 @@ quickcheck! { } } } + +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)) + } +}