From 56fb154c904a0c33efcb4668a321d3df62501166 Mon Sep 17 00:00:00 2001 From: Adam Wick Date: Tue, 8 Jan 2019 09:48:28 -0800 Subject: [PATCH] Fix the QuickCheck logic for back conversion. --- src/signed/conversion.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/signed/conversion.rs b/src/signed/conversion.rs index 1fcd0eb..6994609 100644 --- a/src/signed/conversion.rs +++ b/src/signed/conversion.rs @@ -69,7 +69,7 @@ macro_rules! generate_sigconversion_tests { let mut base = $sname::zero(); let xprime = x & 0x7FFFFFFFFFFFFFFF; - base.negative = b; + base.negative = b && (x != 0); base.value.value[0] = xprime; base == $sname::from(i64::from(&base)) }