From 650a6a6d749468c535cb0776399e0da1ee6f235c Mon Sep 17 00:00:00 2001 From: Petri Koivula Date: Mon, 29 Sep 2014 20:35:30 +0300 Subject: [PATCH] Tribonacci test that checks linear timeness --- W1Test.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/W1Test.hs b/W1Test.hs index 96e9631..f07b635 100644 --- a/W1Test.hs +++ b/W1Test.hs @@ -23,7 +23,8 @@ tests = [[] ,[ex9_power] ,[property ex10_ilog2] ,[ex11_binomial] - ,[ex12_tribonacci] + ,[ex12_tribonacci + ,ex12_tribonacci_big] ,[ex13_myGcd] ,[ex14_funnyCompare_even, ex14_funnyCompare_odd ,ex14_funnyCompare_mixed] @@ -117,6 +118,8 @@ ex12_tribonacci = t 3 = 2 t n = t (n-1) + t (n-2) + t (n-3) +ex12_tribonacci_big = tribonacci 37 === 2082876103 + ex13_myGcd = forAll (elements [1..max]) $ \x -> forAll (elements [1..max]) $ \y ->