From 169570c9632a29c95432468016f294853bcd1ba2 Mon Sep 17 00:00:00 2001 From: Vincent Hanquez Date: Wed, 29 Jul 2015 07:13:04 +0100 Subject: [PATCH] fix 0 case. --- tests/Number.hs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/tests/Number.hs b/tests/Number.hs index 7c73ad3..aaaba86 100644 --- a/tests/Number.hs +++ b/tests/Number.hs @@ -21,10 +21,11 @@ serializationVectors = tests = testGroup "number" [ testProperty "num-bits" $ \(Int0_2901 i) -> - and [ (numBits (2^i-1) == i) - , (numBits (2^i) == i+1) - , (numBits (2^i + (2^i-1)) == i+1) - ] + if i == 0 then True else + and [ (numBits (2^i-1) == i) + , (numBits (2^i) == i+1) + , (numBits (2^i + (2^i-1)) == i+1) + ] , testProperty "num-bits2" $ \(Positive i) -> not (i `testBit` numBits i) && (i `testBit` (numBits i - 1)) , testProperty "generate-param" $ \testDRG (Int0_2901 bits) ->