diff options
Diffstat (limited to 'TestAufgabeFFP2.hs')
| -rw-r--r-- | TestAufgabeFFP2.hs | 69 |
1 files changed, 69 insertions, 0 deletions
diff --git a/TestAufgabeFFP2.hs b/TestAufgabeFFP2.hs new file mode 100644 index 0000000..0df8612 --- /dev/null +++ b/TestAufgabeFFP2.hs | |||
| @@ -0,0 +1,69 @@ | |||
| 1 | module Main where | ||
| 2 | |||
| 3 | import Test.HUnit | ||
| 4 | import Control.Monad | ||
| 5 | import AufgabeFFP2 | ||
| 6 | |||
| 7 | assertBoolF :: String -> Bool -> Assertion | ||
| 8 | assertBoolF msg b = when b (assertFailure msg) | ||
| 9 | |||
| 10 | ------------------------------------------------------------------------------- | ||
| 11 | -- 1 | ||
| 12 | |||
| 13 | pps1 :: Test | ||
| 14 | pps1 = TestCase (assertEqual "pps" | ||
| 15 | [(3,5),(5,7),(11,13),(17,19),(29,31),(41,43), (59,61),(71,73),(101,103),(107,109)] | ||
| 16 | (take 10 pps)) | ||
| 17 | |||
| 18 | pps2 :: Test | ||
| 19 | pps2 = TestCase (assertEqual "pps" | ||
| 20 | (347,349) | ||
| 21 | (pps!!20)) | ||
| 22 | |||
| 23 | pps3 :: Test | ||
| 24 | pps3 = TestCase (assertEqual "pps" | ||
| 25 | (809,811) | ||
| 26 | (head (drop 30 pps))) | ||
| 27 | |||
| 28 | ppsTests = TestList [pps1, pps2, pps3] | ||
| 29 | |||
| 30 | ------------------------------------------------------------------------------- | ||
| 31 | -- 2 | ||
| 32 | |||
| 33 | ------------------------------------------------------------------------------- | ||
| 34 | -- 3 | ||
| 35 | |||
| 36 | ------------------------------------------------------------------------------- | ||
| 37 | -- 4 | ||
| 38 | |||
| 39 | gz1 :: Test | ||
| 40 | gz1 = TestCase (assertEqual "gz" | ||
| 41 | 144 | ||
| 42 | (gz 42)) | ||
| 43 | |||
| 44 | gz2 :: Test | ||
| 45 | gz2 = TestCase (assertEqual "gz" | ||
| 46 | 400 | ||
| 47 | (gz 402)) | ||
| 48 | |||
| 49 | gzs1 :: Test | ||
| 50 | gzs1 = TestCase (assertEqual "gzs" | ||
| 51 | 144 | ||
| 52 | (gzs!!41)) | ||
| 53 | |||
| 54 | gzs2 :: Test | ||
| 55 | gzs2 = TestCase (assertEqual "gzs" | ||
| 56 | 400 | ||
| 57 | (gzs!!401)) | ||
| 58 | |||
| 59 | |||
| 60 | gzTests = TestList [gz1, gz2, gzs1, gzs2] | ||
| 61 | |||
| 62 | ------------------------------------------------------------------------------- | ||
| 63 | |||
| 64 | tests :: [Test] | ||
| 65 | tests = [ppsTests, gzTests] | ||
| 66 | |||
| 67 | main = do | ||
| 68 | forM tests $ \test -> | ||
| 69 | runTestTT test | ||
