From aeae9aa51e469a8d9838421ae6781481ef47b5ee Mon Sep 17 00:00:00 2001 From: zypeh Date: Thu, 25 Aug 2022 21:43:22 +0800 Subject: [PATCH] zigzag zagzig --- crates/flat/tests/zigzag_test.rs | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/crates/flat/tests/zigzag_test.rs b/crates/flat/tests/zigzag_test.rs index 198cc9d7..3ef75dd4 100644 --- a/crates/flat/tests/zigzag_test.rs +++ b/crates/flat/tests/zigzag_test.rs @@ -15,4 +15,11 @@ mod test { let converted_i = to_isize(u); converted_i == i } + + #[quickcheck] + fn zagzig(u: usize) -> bool { + let i = to_isize(u); + let converted_u = to_usize(i); + converted_u == u + } }