From a61ebc600a4fc7445787100d0c54fb633e7ee5c9 Mon Sep 17 00:00:00 2001 From: manuel Date: Mon, 21 May 2012 03:32:40 +0200 Subject: add tests for exercise 7 note: quickCheck gets called but there's no output parsing --- TestAufgabeFFP7.hs | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) diff --git a/TestAufgabeFFP7.hs b/TestAufgabeFFP7.hs index 1262c23..116a445 100644 --- a/TestAufgabeFFP7.hs +++ b/TestAufgabeFFP7.hs @@ -3,16 +3,36 @@ module Main where import Test.HUnit import Control.Monad import AufgabeFFP7 +import Test.QuickCheck +import System.IO.Unsafe +{-- cases1 = TestLabel "TODO" $ TestList [ TestCase $ assertEqual "TODO" (result) (call) ... ] +--} + +-------------------------------------------------------------------------------- + +cases2 = TestLabel "ssfn/minfree" $ TestList [ + TestCase $ assertEqual "ssfn1" (5) (ssfn [0,1,2,3,4,6,7,8,9]), + TestCase $ assertEqual "minfree1" (5) (minfree [0,1,2,3,4,6,7,8,9]), + TestCase $ assertEqual "ssfn2" (0) (ssfn [1,2,3,4,5,6,7,8,9]), + TestCase $ assertEqual "minfree2" (0) (minfree [1,2,3,4,5,6,7,8,9]), + TestCase $ assertEqual "ssfn/minfree" + (ssfn (filter (/=499) [0..520])) + (minfree (filter (/=499) [0..520])), + TestCase $ assertEqual "quickCheck1" () + (unsafePerformIO (quickCheck prop_ssfn_eq_minfree_a)), + TestCase $ assertEqual "quickCheck2" () + (unsafePerformIO (quickCheck prop_ssfn_eq_minfree_b)) + ] -------------------------------------------------------------------------------- tests :: [Test] -tests = [cases1, ...] +tests = [cases2] main = do forM tests $ \test -> -- cgit v1.2.3