1 files changed, 60 insertions, 6 deletions

diff --git a/TestAufgabeFFP7.hs b/TestAufgabeFFP7.hs
index f83952b..16952cb 100755
--- a/TestAufgabeFFP7.hs
+++ b/TestAufgabeFFP7.hs
@@ -9,12 +9,66 @@ import AufgabeFFP7
 import Test.QuickCheck
 import System.IO.Unsafe
 
-{--
-cases1 = TestLabel "TODO" $ TestList [
-  TestCase $ assertEqual "TODO" (result) (call)
-  ...
+cases1 = TestLabel "buffer" $ TestList [
+  TestCase $ assertEqual "empty"  (0, "")
+    (empty),
+
+  TestCase $ assertEqual "insert1" (0, "a")
+    (insert 'a' empty),
+  TestCase $ assertEqual "insert2" (0, "ba")
+    (insert 'b' (insert 'a' empty)),
+  TestCase $ assertEqual "insert3" (0, "ba")
+    (insert 'b' (insert 'a' empty)),
+  TestCase $ assertEqual "insert4" (0, "ba")
+    (insert 'b' (-100, "a")),
+  TestCase $ assertEqual "insert5" (2, "ab")
+    (insert 'b' (100, "a")),
+
+  TestCase $ assertEqual "delete1" (0, "bc")
+    (delete (0, "abc")),
+  TestCase $ assertEqual "delete2" (2, "ab")
+    (delete (2, "abc")),
+  TestCase $ assertEqual "delete3" (0, "abc")
+    (delete (-100, "abc")),
+  TestCase $ assertEqual "delete4" (3, "abc")
+    (delete (100, "abc")),
+
+  TestCase $ assertEqual "left1" (0, "abc")
+    (left (0, "abc")),
+  TestCase $ assertEqual "left2" (0, "abc")
+    (left (-100, "abc")),
+  TestCase $ assertEqual "left3" (1, "abc")
+    (left (2, "abc")),
+  TestCase $ assertEqual "left4" (3, "abc")
+    (left (4, "abc")),
+  TestCase $ assertEqual "left5" (3, "abc")
+    (left (100, "abc")),
+
+  TestCase $ assertEqual "right1" (1, "abc")
+    (right (0, "abc")),
+  TestCase $ assertEqual "right2" (0, "abc")
+    (right (-100, "abc")),
+  TestCase $ assertEqual "right3" (2, "abc")
+    (right (1, "abc")),
+  TestCase $ assertEqual "right4" (3, "abc")
+    (right (3, "abc")),
+  TestCase $ assertEqual "right5" (3, "abc")
+    (right (100, "abc")),
+
+  TestCase $ assertEqual "atLeft1" (True)
+    (atLeft (0, "abc")),
+  TestCase $ assertEqual "atLeft2" (False)
+    (atLeft (1, "abc")),
+  TestCase $ assertEqual "atLeft3" (True)
+    (atLeft (-100, "abc")),
+
+  TestCase $ assertEqual "atRight1" (True)
+    (atRight (3, "abc")),
+  TestCase $ assertEqual "atRight2" (False)
+    (atRight (1, "abc")),
+  TestCase $ assertEqual "atRight3" (True)
+    (atRight (100, "abc"))
   ]
---}
 
 --------------------------------------------------------------------------------
 
@@ -35,7 +89,7 @@ cases2 = TestLabel "ssfn/minfree" $ TestList [
 --------------------------------------------------------------------------------
 
 tests :: [Test]
-tests = [cases2]
+tests = [cases1, cases2]
 
 isSuccess :: Counts -> Bool
 isSuccess Counts{ cases = _, tried = _, errors = 0, failures = 0 } = True