1 files changed, 21 insertions, 1 deletions

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 ->