1 files changed, 66 insertions, 2 deletions

diff --git a/TestAufgabeFFP7.hs b/TestAufgabeFFP7.hs
index 1bbd10e..bbe3540 100755
--- a/TestAufgabeFFP7.hs
+++ b/TestAufgabeFFP7.hs
@@ -70,7 +70,71 @@ cases1 = TestLabel "buffer" $ TestList [
 
 --------------------------------------------------------------------------------
 
-cases2 = TestLabel "ssfn/minfree" $ TestList [
+cases2 = TestLabel "bufferI" $ TestList [
+  TestCase $ assertEqual "emptyI"  ("", "")
+    (emptyI),
+
+  TestCase $ assertEqual "insertI1" ("a", "")
+    (insertI 'a' emptyI),
+  TestCase $ assertEqual "insertI2" ("ba", "")
+    (insertI 'b' (insertI 'a' emptyI)),
+  TestCase $ assertEqual "insertI3" ("ba", "c")
+    (insertI 'b' ("a", "c")),
+
+  TestCase $ assertEqual "deleteI1" ("", "bc")
+    (deleteI ("", "abc")),
+  TestCase $ assertEqual "deleteI2" ("cba", "")
+    (deleteI ("cba", "")),
+  TestCase $ assertEqual "deleteI3" ("", "")
+    (deleteI ("", "")),
+
+  TestCase $ assertEqual "leftI1" ("", "abc")
+    (leftI ("", "abc")),
+  TestCase $ assertEqual "leftI2" ("a", "bc")
+    (leftI ("ba", "c")),
+  TestCase $ assertEqual "leftI3" ("ba", "c")
+    (leftI ("cba", "")),
+
+  TestCase $ assertEqual "rightI1" ("a", "bc")
+    (rightI ("", "abc")),
+  TestCase $ assertEqual "rightI2" ("ba", "c")
+    (rightI ("a", "bc")),
+  TestCase $ assertEqual "rightI3" ("cba", "")
+    (rightI ("cba", "")),
+
+  TestCase $ assertEqual "atLeftI1" (True)
+    (atLeftI ("", "abc")),
+  TestCase $ assertEqual "atLeftI2" (False)
+    (atLeftI ("a", "bc")),
+
+  TestCase $ assertEqual "atRightI1" (True)
+    (atRightI ("cba", "")),
+  TestCase $ assertEqual "atRightI2" (False)
+    (atRightI ("a", "bc"))
+  ]
+
+--------------------------------------------------------------------------------
+
+cases3 = TestLabel "buffer/I_quickCheck" $ TestList [
+  TestCase $ assertEqual "empty" ()
+    (unsafePerformIO (quickCheck prop_empty)),
+  TestCase $ assertEqual "insert" ()
+    (unsafePerformIO (quickCheck prop_insert)),
+  TestCase $ assertEqual "delete" ()
+    (unsafePerformIO (quickCheck prop_delete)),
+  TestCase $ assertEqual "left" ()
+    (unsafePerformIO (quickCheck prop_left)),
+  TestCase $ assertEqual "right" ()
+    (unsafePerformIO (quickCheck prop_right)),
+  TestCase $ assertEqual "atLeft" ()
+    (unsafePerformIO (quickCheck prop_atLeft)),
+  TestCase $ assertEqual "atRight" ()
+    (unsafePerformIO (quickCheck prop_atRight))
+  ]
+
+--------------------------------------------------------------------------------
+
+cases4 = 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]),
@@ -87,7 +151,7 @@ cases2 = TestLabel "ssfn/minfree" $ TestList [
 --------------------------------------------------------------------------------
 
 tests :: [Test]
-tests = [cases1, cases2]
+tests = [cases1, cases2, cases3, cases4]
 
 isSuccess :: Counts -> Bool
 isSuccess Counts{ cases = _, tried = _, errors = 0, failures = 0 } = True