test/TestSuite.hs

   1 import Test.HUnit
   2 import Test.QuickCheck
   3
   4 import Tests.Face as TF
   5 import Tests.Misc
   6 import Tests.Tetrahedron as TT
   7
   8 -- The list of HUnit tests.
   9 test_suite = TestList (concat [face_tests,
  10                                misc_tests,
  11                                tetrahedron_tests])
  12
  13 main :: IO ()
  14 main = do
  15   putStrLn "HUnit"
  16   putStrLn "-----"
  17   runTestTT test_suite
  18   putStrLn ""
  19   putStrLn "QuickCheck"
  20   putStrLn "----------"
  21   let qc_args = stdArgs { maxSuccess = 100,
  22                           maxDiscard = 500,
  23                           maxSize = 100 }
  24
  25   putStr "prop_all_volumes_positive... "
  26   quickCheckWith qc_args prop_all_volumes_positive
  27
  28   putStr "prop_factorial_greater... "
  29   quickCheckWith qc_args prop_factorial_greater
  30
  31   putStr "prop_b0_v0_always_unity... "
  32   quickCheckWith qc_args prop_b0_v0_always_unity
  33
  34   putStr "prop_b0_v1_always_zero... "
  35   quickCheckWith qc_args prop_b0_v1_always_zero
  36
  37   putStr "prop_b0_v2_always_zero... "
  38   quickCheckWith qc_args prop_b0_v2_always_zero
  39
  40   putStr "prop_b0_v3_always_zero... "
  41   quickCheckWith qc_args prop_b0_v3_always_zero
  42
  43   putStr "prop_b1_v1_always_unity... "
  44   quickCheckWith qc_args prop_b1_v1_always_unity
  45
  46   putStr "prop_b1_v0_always_zero... "
  47   quickCheckWith qc_args prop_b1_v0_always_zero
  48
  49   putStr "prop_b1_v2_always_zero... "
  50   quickCheckWith qc_args prop_b1_v2_always_zero
  51
  52   putStr "prop_b1_v3_always_zero... "
  53   quickCheckWith qc_args prop_b1_v3_always_zero
  54
  55   putStr "prop_b2_v2_always_unity... "
  56   quickCheckWith qc_args prop_b2_v2_always_unity
  57
  58   putStr "prop_b2_v0_always_zero... "
  59   quickCheckWith qc_args prop_b2_v0_always_zero
  60
  61   putStr "prop_b2_v1_always_zero... "
  62   quickCheckWith qc_args prop_b2_v1_always_zero
  63
  64   putStr "prop_b2_v3_always_zero... "
  65   quickCheckWith qc_args prop_b2_v3_always_zero
  66
  67   putStr "prop_b3_v3_always_unity... "
  68   quickCheckWith qc_args prop_b3_v3_always_unity
  69
  70   putStr "prop_b3_v0_always_zero... "
  71   quickCheckWith qc_args prop_b3_v0_always_zero
  72
  73   putStr "prop_b3_v1_always_zero... "
  74   quickCheckWith qc_args prop_b3_v1_always_zero
  75
  76   putStr "prop_b3_v2_always_zero... "
  77   quickCheckWith qc_args prop_b3_v2_always_zero
  78
  79   putStrLn "\np. 78, (2.4)\n"
  80
  81   putStr "prop_c3000_identity... "
  82   quickCheckWith qc_args TT.prop_c3000_identity
  83
  84   putStr "prop_c2100_identity... "
  85   quickCheckWith qc_args TT.prop_c2100_identity
  86
  87   putStr "prop_c1110_identity... "
  88   quickCheckWith qc_args TT.prop_c1110_identity
  89
  90   putStrLn "\np. 78, (2.5)\n"
  91
  92   putStr "prop_cijk1_identity... "
  93   quickCheckWith qc_args prop_cijk1_identity
  94   putStrLn "\np. 79, (2.6)\n"
  95
  96   putStr "prop_c0120_identity1... "
  97   quickCheckWith qc_args TF.prop_c0120_identity1
  98
  99   putStr "prop_c0210_identity1... "
 100   quickCheckWith qc_args TF.prop_c0210_identity1
 101
 102   putStr "prop_c0300_identity1... "
 103   quickCheckWith qc_args TF.prop_c0300_identity1
 104
 105   putStr "prop_c1110_identity... "
 106   quickCheckWith qc_args TF.prop_c1110_identity
 107
 108   putStr "prop_c1200_identity1... "
 109   quickCheckWith qc_args prop_c1200_identity1
 110
 111   putStr "prop_c2100_identity1... "
 112   quickCheckWith qc_args TF.prop_c2100_identity1
 113
 114   putStrLn "\np. 79, (2.7)\n"
 115
 116   putStr "prop_c0102_identity1... "
 117   quickCheckWith qc_args TF.prop_c0102_identity1
 118
 119   putStr "prop_c0201_identity1... "
 120   quickCheckWith qc_args TF.prop_c0201_identity1
 121
 122   putStr "prop_c0300_identity2... "
 123   quickCheckWith qc_args TF.prop_c0300_identity2
 124
 125   putStr "prop_c1101_identity... "
 126   quickCheckWith qc_args TF.prop_c1101_identity
 127
 128   putStr "prop_c1200_identity2... "
 129   quickCheckWith qc_args TF.prop_c1200_identity2
 130
 131   putStr "prop_c2100_identity2... "
 132   quickCheckWith qc_args TF.prop_c2100_identity2
 133
 134   putStrLn "\np. 79, (2.8)\n"
 135
 136   putStr "prop_c3000_identity... "
 137   quickCheckWith qc_args TF.prop_c3000_identity
 138
 139   putStr "prop_c2010_identity... "
 140   quickCheckWith qc_args TF.prop_c2010_identity
 141
 142   putStr "prop_c2001_identity... "
 143   quickCheckWith qc_args TF.prop_c2001_identity
 144
 145   putStr "prop_c1020_identity... "
 146   quickCheckWith qc_args TF.prop_c1020_identity
 147
 148   putStr "prop_c1002_identity... "
 149   quickCheckWith qc_args TF.prop_c1002_identity
 150
 151   putStr "prop_c1011_identity... "
 152   quickCheckWith qc_args TF.prop_c1011_identity
 153
 154   putStrLn "\np. 80, (2.9)\n"
 155
 156   putStr "prop_c0120_identity2... "
 157   quickCheckWith qc_args TF.prop_c0120_identity2
 158
 159   putStr "prop_c0102_identity2... "
 160   quickCheckWith qc_args TF.prop_c0102_identity2
 161
 162   putStr "prop_c0111_identity... "
 163   quickCheckWith qc_args TF.prop_c0111_identity
 164
 165   putStr "prop_c0210_identity2... "
 166   quickCheckWith qc_args TF.prop_c0210_identity2
 167
 168   putStr "prop_c0201_identity2... "
 169   quickCheckWith qc_args TF.prop_c0201_identity2
 170
 171   putStr "prop_c0300_identity3... "
 172   quickCheckWith qc_args TF.prop_c0300_identity3
 173
 174   return ()