1 files changed, 23 insertions, 1 deletions

diff --git a/TestAufgabeFFP6.hs b/TestAufgabeFFP6.hs
index 77cae92..c435045 100644
--- a/TestAufgabeFFP6.hs
+++ b/TestAufgabeFFP6.hs
@@ -22,8 +22,30 @@ cases1 = TestLabel "eval" $ TestList [
     (eval (array (1,6) [(1,4), (2,2), (3,3), (4,-4), (5,5), (6,2)]) (array (1,5) [(1,(*)), (2,(-)), (3,(+)), (4,(./.)), (5,(+))]))
   ]
 
+instance Eq (Integer -> Integer -> Integer) where
+        (==) op1 op2 = ((op1 3 3) - (op2 3 3)) == 0
+instance Eq (Int -> Int -> Int) where
+        (==) op1 op2 = ((op1 3 3) - (op2 3 3)) == 0
+
+cases2 =  TestLabel "yield_bt"  $ TestList [
+                TestCase $ assertEqual "yield_bt1" (yield_bt (array (1,3) [(1,1),(2,2),(3,3)] ) 6)
+                                 [array (1,2) [(1,(+)),(2,(+))],array (1,2) [(1,(*)),(2,(*))]],
+                TestCase $ assertEqual "yield_bt2" (yield_bt (array (1,3) [(1,1),(2,2),(3,3)] ) 4) [],
+                TestCase $ assertEqual "yield_bt3" (yield_bt (array (1,3) [(1,1),(2,2),(3,3)]) 0)
+                                [(array (1,2) [(1,(+)),(2,(-))]),(array (1,2) [(1,(*)),(2,(./.))]),(array (1,2) [(1,(./.)),(2,(*))]),(array (1,2) [(1,(./.)),(2,(./.))])]
+                                 ]
+
+
+cases3 =  TestLabel "yield_gtf"  $ TestList [
+                TestCase $ assertEqual "yield_gtf1" (yield_gtf (array (1,3) [(1,1),(2,2),(3,3)] ) 6)
+                                 [array (1,2) [(1,(+)),(2,(+))],array (1,2) [(1,(*)),(2,(*))]],
+                TestCase $ assertEqual "yield_gtf2" (yield_gtf (array (1,3) [(1,1),(2,2),(3,3)] ) 4) [],
+                TestCase $ assertEqual "yield_gtf3" (yield_gtf (array (1,3) [(1,1),(2,2),(3,3)]) 0)
+                                [(array (1,2) [(1,(+)),(2,(-))]),(array (1,2) [(1,(*)),(2,(./.))]),(array (1,2) [(1,(./.)),(2,(*))]),(array (1,2) [(1,(./.)),(2,(./.))])]
+                                 ]
+
 tests :: [Test]
-tests = [cases1]
+tests = [cases1, cases2, cases3]
 
 main = do
   forM tests $ \test ->