1 files changed, 54 insertions, 0 deletions

diff --git a/TestAufgabeFFP4.hs b/TestAufgabeFFP4.hs
new file mode 100644
index 0000000..55a257c
--- /dev/null
+++ b/TestAufgabeFFP4.hs
@@ -0,0 +1,54 @@
+module Main where
+
+import Test.HUnit
+import Control.Monad
+import AufgabeFFP4
+
+-------------------------------------------------------------------------------
+
+import Data.List
+
+type KnapsackWantedSolution = (SolKnp,Value)
+type KnapsackWantedSolutions = [KnapsackWantedSolution]
+type KnapsackGotSolution = (SolKnp,Value)
+
+
+knapsackOk :: KnapsackWantedSolutions -> KnapsackGotSolution -> Bool
+knapsackOk wanted got = any (equalKnapsack got) wanted
+  where
+    equalKnapsack (sg,vg) (sw,vw) = vg == vw && equalKnapsackContent sg sw
+    equalKnapsackContent sg sw = sort sg == sort sw
+
+
+assertKnapsackOneOf :: String -> KnapsackWantedSolutions -> KnapsackGotSolution -> Assertion
+assertKnapsackOneOf preface expected actual = unless (knapsackOk expected actual) (assertFailure msg)
+  where
+    msg = (if null preface then "" else preface ++ "\n") ++
+          "expected one of: " ++ show expected ++ "\n but got: " ++ show actual
+
+-------------------------------------------------------------------------------
+
+cases1 = TestLabel "knapsack" $ TestList [
+  TestCase $ assertKnapsackOneOf "exercise example"
+    [([(2,3), (2,3), (3,4), (3,4)], 14)]
+    (knapsack [(2,3), (2,3), (3,4), (3,4), (5,6)] 10),
+  TestCase $ assertKnapsackOneOf "no objects"
+    [([], 0)]
+    (knapsack [(2,3), (2,3), (3,4), (3,4), (5,6)] 1),
+  TestCase $ assertKnapsackOneOf "all objects"
+    [([(2,3), (2,3), (3,4), (3,4), (5,6)], 20)]
+    (knapsack [(2,3), (2,3), (3,4), (3,4), (5,6)] 100),
+  TestCase $ assertKnapsackOneOf "a"
+    [([(2,2), (3,3)], 5), ([(5,5)], 5)]
+    (knapsack [(2,2), (3,3), (4,4), (5,5)] 5)
+  ]
+
+cases2 = TestLabel "binomDyn" $ TestList [
+  ]
+
+tests :: [Test]
+tests = [cases1, cases2]
+
+main = do
+  forM tests $ \test ->
+    runTestTT test