From 5f72788041b58c82e6b25c0c1e1294982eff7ed9 Mon Sep 17 00:00:00 2001 From: Vincent Hanquez Date: Thu, 27 Aug 2015 15:42:08 +0100 Subject: [PATCH] [tests] fix last number test problem --- tests/Number.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/Number.hs b/tests/Number.hs index f63a840..24ae96f 100644 --- a/tests/Number.hs +++ b/tests/Number.hs @@ -30,7 +30,7 @@ tests = testGroup "number" , testProperty "generate-param" $ \testDRG (Int1_2901 bits) -> let r = withTestDRG testDRG $ generateParams bits (Just SetHighest) False in r >= 0 && numBits r == bits && testBit r (bits-1) - , testProperty "generate-param2" $ \testDRG (Int0_2901 m1bits) -> + , testProperty "generate-param2" $ \testDRG (Int1_2901 m1bits) -> let bits = m1bits + 1 -- make sure minimum is 2 r = withTestDRG testDRG $ generateParams bits (Just SetTwoHighest) False in r >= 0 && numBits r == bits && testBit r (bits-1) && testBit r (bits-2)