test/TestSuite.hs

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