test/TestSuite.hs

   1 module TestSuite
   2 where
   3
   4 import Test.Framework (defaultMain, testGroup, Test, TestName, TestOptions(..))
   5 import Test.Framework.Providers.API (TestName)
   6 import Test.Framework.Providers.DocTest
   7 import Test.Framework.Providers.HUnit (testCase)
   8 import Test.Framework.Providers.QuickCheck2 (testProperty)
   9 import Test.HUnit
  10 import Test.QuickCheck (Testable ())
  11
  12 import Tests.Cardinal
  13 import Tests.Cube as TC
  14 import Tests.FunctionValues
  15 import Tests.Grid
  16 import Tests.Misc
  17 import Tests.Tetrahedron as TT
  18
  19 main :: IO ()
  20 main = do
  21   dt <- docTest ["src/Everything.hs"] ["-isrc"]
  22   defaultMain $ [dt] ++ tests
  23
  24 -- | Defined so that my test names fit on one line.
  25 tc :: Test.Framework.Providers.API.TestName -> Test.HUnit.Assertion -> Test.Framework.Test
  26 tc = testCase
  27
  28 cardinal_tests :: Test.Framework.Test
  29 cardinal_tests =
  30     testGroup "Cardinal Tests" [
  31       tc "c-tilde_2100 rotation correct" test_c_tilde_2100_rotation_correct ]
  32
  33 function_values_tests :: Test.Framework.Test
  34 function_values_tests =
  35     testGroup "FunctionValues Tests" [ tc "test directions" test_directions ]
  36
  37 grid_tests :: Test.Framework.Test
  38 grid_tests =
  39     testGroup "Grid Tests" [
  40       tc "trilinear c0030" test_trilinear_c0030,
  41       tc "trilinear c0003" test_trilinear_c0003,
  42       tc "trilinear c0021" test_trilinear_c0021,
  43       tc "trilinear c0012" test_trilinear_c0012,
  44       tc "trilinear c0120" test_trilinear_c0120,
  45       tc "trilinear c0102" test_trilinear_c0102,
  46       tc "trilinear c0111" test_trilinear_c0111,
  47       tc "trilinear c0210" test_trilinear_c0210,
  48       tc "trilinear c0201" test_trilinear_c0201,
  49       tc "trilinear c0300" test_trilinear_c0300,
  50       tc "trilinear c1020" test_trilinear_c1020,
  51       tc "trilinear c1002" test_trilinear_c1002,
  52       tc "trilinear c1011" test_trilinear_c1011,
  53       tc "trilinear c1110" test_trilinear_c1110,
  54       tc "trilinear c1101" test_trilinear_c1101,
  55       tc "trilinear c1200" test_trilinear_c1200,
  56       tc "trilinear c2010" test_trilinear_c2010,
  57       tc "trilinear c2001" test_trilinear_c2001,
  58       tc "trilinear c2100" test_trilinear_c2100,
  59       tc "trilinear c3000" test_trilinear_c3000,
  60       tc "trilinear f0_t0_v0" test_trilinear_f0_t0_v0,
  61       tc "trilinear f0_t0_v1" test_trilinear_f0_t0_v1,
  62       tc "trilinear f0_t0_v2" test_trilinear_f0_t0_v2,
  63       tc "trilinear f0_t0_v3" test_trilinear_f0_t0_v3,
  64       tc "trilinear reproduced (t0)" test_trilinear_reproduced_t0,
  65       tc "trilinear reproduced (t1)" test_trilinear_reproduced_t1,
  66       tc "trilinear reproduced (t2)" test_trilinear_reproduced_t2,
  67       tc "trilinear reproduced (t3)" test_trilinear_reproduced_t3,
  68       tc "trilinear reproduced (t4)" test_trilinear_reproduced_t4,
  69       tc "trilinear reproduced (t5)" test_trilinear_reproduced_t5,
  70       tc "trilinear reproduced (t6)" test_trilinear_reproduced_t6,
  71       tc "trilinear reproduced (t7)" test_trilinear_reproduced_t7,
  72       tc "trilinear reproduced (t8)" test_trilinear_reproduced_t8,
  73       tc "trilinear reproduced (t9)" test_trilinear_reproduced_t9,
  74       tc "trilinear reproduced (t10)" test_trilinear_reproduced_t10,
  75       tc "trilinear reproduced (t11)" test_trilinear_reproduced_t11,
  76       tc "trilinear reproduced (t12)" test_trilinear_reproduced_t12,
  77       tc "trilinear reproduced (t13)" test_trilinear_reproduced_t13,
  78       tc "trilinear reproduced (t14)" test_trilinear_reproduced_t14,
  79       tc "trilinear reproduced (t15)" test_trilinear_reproduced_t15,
  80       tc "trilinear reproduced (t16)" test_trilinear_reproduced_t16,
  81       tc "trilinear reproduced (t17)" test_trilinear_reproduced_t17,
  82       tc "trilinear reproduced (t18)" test_trilinear_reproduced_t18,
  83       tc "trilinear reproduced (t19)" test_trilinear_reproduced_t19,
  84       tc "trilinear reproduced (t20)" test_trilinear_reproduced_t20,
  85       tc "trilinear reproduced (t21)" test_trilinear_reproduced_t21,
  86       tc "trilinear reproduced (t22)" test_trilinear_reproduced_t22,
  87       tc "trilinear reproduced (t23)" test_trilinear_reproduced_t23,
  88       tc "zeros reproduced" test_zeros_reproduced,
  89       tc "trilinearx2 reproduced (t0)" test_trilinearx2_reproduced_t0 ]
  90
  91
  92 misc_tests :: Test.Framework.Test
  93 misc_tests =
  94     testGroup "Misc Tests" [
  95       tc "flatten (1)" test_flatten1 ]
  96
  97 tetrahedron_tests :: Test.Framework.Test
  98 tetrahedron_tests =
  99     testGroup "Tetrahedron Tests" [
 100       tc "volume (1)" test_volume1,
 101       tc "volume (2)" test_volume2,
 102       tc "contains point (1)" test_contains_point1,
 103       tc "doesn't contain point (1)" test_doesnt_contain_point1,
 104       tc "doesn't contain point (2)" test_doesnt_contain_point2,
 105       tc "doesn't contain point (3)" test_doesnt_contain_point3,
 106       tc "doesn't contain point (4)" test_doesnt_contain_point4,
 107       tc "doesn't contain point (5)" test_doesnt_contain_point5 ]
 108
 109 -- | Defined so that my test names fit on one line.
 110 tp :: Test.QuickCheck.Testable a => Test.Framework.TestName -> a -> Test.Framework.Test
 111 tp = testProperty
 112
 113 misc_properties :: Test.Framework.Test
 114 misc_properties =
 115     testGroup "Misc Properties" [
 116       tp "factorial greater" prop_factorial_greater ]
 117
 118 cardinal_properties :: Test.Framework.Test
 119 cardinal_properties =
 120     testGroup "Cardinal Properties" [
 121       tp "ccwx rotation changes direction" prop_ccwx_rotation_changes_direction,
 122       tp "cwx rotation changes direction" prop_cwx_rotation_changes_direction,
 123       tp "ccwy rotation changes direction" prop_ccwy_rotation_changes_direction,
 124       tp "cwy rotation changes direction" prop_cwy_rotation_changes_direction,
 125       tp "ccwz rotation changes direction" prop_ccwz_rotation_changes_direction,
 126       tp "cwz rotation changes direction" prop_cwz_rotation_changes_direction,
 127       tp "ccwx rotation result unique" prop_ccwx_rotation_result_unique,
 128       tp "cwx rotation result unique" prop_cwx_rotation_result_unique,
 129       tp "ccwy rotation result unique" prop_ccwy_rotation_result_unique,
 130       tp "cwy rotation result unique" prop_cwy_rotation_result_unique,
 131       tp "ccwz rotation result unique" prop_ccwz_rotation_result_unique,
 132       tp "cwz rotation result unique" prop_cwz_rotation_result_unique,
 133       tp "four cwx is identity" prop_four_cwx_is_identity,
 134       tp "four ccwx is identity" prop_four_ccwx_is_identity,
 135       tp "four cwy is identity" prop_four_cwy_is_identity,
 136       tp "four ccwy is identity" prop_four_ccwy_is_identity,
 137       tp "four cwz is identity" prop_four_cwz_is_identity,
 138       tp "four ccwz is identity" prop_four_ccwz_is_identity]
 139
 140
 141 p78_24_properties :: Test.Framework.Test
 142 p78_24_properties =
 143     testGroup "p. 78, Section (2.4) Properties" [
 144       tp "c3000 identity" TT.prop_c3000_identity,
 145       tp "c2100 identity" TT.prop_c2100_identity,
 146       tp "c1110 identity" TT.prop_c1110_identity]
 147
 148 p78_25_properties :: Test.Framework.Test
 149 p78_25_properties =
 150     testGroup "p. 78, Section (2.5) Properties" [
 151       tp "c_ijk1 identity" prop_cijk1_identity ]
 152
 153 edge_incidence_tests :: Test.Framework.Test
 154 edge_incidence_tests =
 155     testGroup "Edge Incidence Tests" [
 156       tp "t0 shares edge with t6" prop_t0_shares_edge_with_t6,
 157       tp "t0 shares edge with t1" prop_t0_shares_edge_with_t1,
 158       tp "t0 shares edge with t3" prop_t0_shares_edge_with_t3,
 159       tp "t1 shares edge with t2" prop_t1_shares_edge_with_t2,
 160       tp "t1 shares edge with t19" prop_t1_shares_edge_with_t19,
 161       tp "t2 shares edge with t3" prop_t2_shares_edge_with_t3,
 162       tp "t2 shares edge with t12" prop_t2_shares_edge_with_t12,
 163       tp "t3 shares edge with t21" prop_t3_shares_edge_with_t21,
 164       tp "t4 shares edge with t5" prop_t4_shares_edge_with_t5,
 165       tp "t4 shares edge with t7" prop_t4_shares_edge_with_t7,
 166       tp "t4 shares edge with t10" prop_t4_shares_edge_with_t10,
 167       tp "t5 shares edge with t6" prop_t5_shares_edge_with_t6,
 168       tp "t5 shares edge with t16" prop_t5_shares_edge_with_t16,
 169       tp "t6 shares edge with t7" prop_t6_shares_edge_with_t7,
 170       tp "t7 shares edge with t20" prop_t7_shares_edge_with_t20 ]
 171
 172
 173 p79_26_properties :: Test.Framework.Test
 174 p79_26_properties =
 175     testGroup "p. 79, Section (2.6) Properties" [
 176       tp "c0120 identity1" TC.prop_c0120_identity1,
 177       tp "c0120 identity2" TC.prop_c0120_identity2,
 178       tp "c0120 identity3" TC.prop_c0120_identity3,
 179       tp "c0120 identity4" TC.prop_c0120_identity4,
 180       tp "c0120 identity5" TC.prop_c0120_identity5,
 181       tp "c0120 identity6" TC.prop_c0120_identity6,
 182       tp "c0120 identity7" TC.prop_c0120_identity7,
 183       tp "c0210 identity1" TC.prop_c0210_identity1,
 184       tp "c0300 identity1" TC.prop_c0300_identity1,
 185       tp "c1110 identity" TC.prop_c1110_identity,
 186       tp "c1200 identity1" TC.prop_c1200_identity1,
 187       tp "c2100 identity1" TC.prop_c2100_identity1]
 188
 189 p79_27_properties :: Test.Framework.Test
 190 p79_27_properties =
 191     testGroup "p. 79, Section (2.7) Properties" [
 192       tp "c0102 identity1" TC.prop_c0102_identity1,
 193       tp "c0201 identity1" TC.prop_c0201_identity1,
 194       tp "c0300 identity2" TC.prop_c0300_identity2,
 195       tp "c1101 identity" TC.prop_c1101_identity,
 196       tp "c1200 identity2" TC.prop_c1200_identity2,
 197       tp "c2100 identity2" TC.prop_c2100_identity2 ]
 198
 199
 200 p79_28_properties :: Test.Framework.Test
 201 p79_28_properties =
 202     testGroup "p. 79, Section (2.8) Properties" [
 203       tp "c3000 identity" TC.prop_c3000_identity,
 204       tp "c2010 identity" TC.prop_c2010_identity,
 205       tp "c2001 identity" TC.prop_c2001_identity,
 206       tp "c1020 identity" TC.prop_c1020_identity,
 207       tp "c1002 identity" TC.prop_c1002_identity,
 208       tp "c1011 identity" TC.prop_c1011_identity ]
 209
 210
 211 cube_properties :: Test.Framework.Test
 212 cube_properties =
 213     testGroup "Cube Properties" [
 214   tp "all volumes positive" prop_all_volumes_positive,
 215   tp "tetrahedron0 volumes exact" prop_tetrahedron0_volumes_exact,
 216   tp "tetrahedron1 volumes exact" prop_tetrahedron1_volumes_exact,
 217   tp "tetrahedron2 volumes exact" prop_tetrahedron2_volumes_exact,
 218   tp "tetrahedron3 volumes exact" prop_tetrahedron3_volumes_exact,
 219   tp "tetrahedron4 volumes exact" prop_tetrahedron4_volumes_exact,
 220   tp "tetrahedron5 volumes exact" prop_tetrahedron5_volumes_exact,
 221   tp "tetrahedron6 volumes exact" prop_tetrahedron6_volumes_exact,
 222   tp "tetrahedron7 volumes exact" prop_tetrahedron7_volumes_exact,
 223   tp "tetrahedron8 volumes exact" prop_tetrahedron8_volumes_exact,
 224   tp "tetrahedron9 volumes exact" prop_tetrahedron9_volumes_exact,
 225   tp "tetrahedron10 volumes exact" prop_tetrahedron10_volumes_exact,
 226   tp "tetrahedron11 volumes exact" prop_tetrahedron11_volumes_exact,
 227   tp "tetrahedron12 volumes exact" prop_tetrahedron12_volumes_exact,
 228   tp "tetrahedron13 volumes exact" prop_tetrahedron13_volumes_exact,
 229   tp "tetrahedron14 volumes exact" prop_tetrahedron14_volumes_exact,
 230   tp "tetrahedron15 volumes exact" prop_tetrahedron15_volumes_exact,
 231   tp "tetrahedron16 volumes exact" prop_tetrahedron16_volumes_exact,
 232   tp "tetrahedron17 volumes exact" prop_tetrahedron17_volumes_exact,
 233   tp "tetrahedron18 volumes exact" prop_tetrahedron18_volumes_exact,
 234   tp "tetrahedron19 volumes exact" prop_tetrahedron19_volumes_exact,
 235   tp "tetrahedron20 volumes exact" prop_tetrahedron20_volumes_exact,
 236   tp "tetrahedron21 volumes exact" prop_tetrahedron21_volumes_exact,
 237   tp "tetrahedron22 volumes exact" prop_tetrahedron22_volumes_exact,
 238   tp "tetrahedron23 volumes exact" prop_tetrahedron23_volumes_exact,
 239   tp "tetrahedron0 volumes positive" prop_tetrahedron0_volumes_positive,
 240   tp "tetrahedron1 volumes positive" prop_tetrahedron1_volumes_positive,
 241   tp "tetrahedron2 volumes positive" prop_tetrahedron2_volumes_positive,
 242   tp "tetrahedron3 volumes positive" prop_tetrahedron3_volumes_positive,
 243   tp "tetrahedron4 volumes positive" prop_tetrahedron4_volumes_positive,
 244   tp "tetrahedron5 volumes positive" prop_tetrahedron5_volumes_positive,
 245   tp "tetrahedron6 volumes positive" prop_tetrahedron6_volumes_positive,
 246   tp "tetrahedron7 volumes positive" prop_tetrahedron7_volumes_positive,
 247   tp "tetrahedron8 volumes positive" prop_tetrahedron8_volumes_positive,
 248   tp "tetrahedron9 volumes positive" prop_tetrahedron9_volumes_positive,
 249   tp "tetrahedron10 volumes positive" prop_tetrahedron10_volumes_positive,
 250   tp "tetrahedron11 volumes positive" prop_tetrahedron11_volumes_positive,
 251   tp "tetrahedron12 volumes positive" prop_tetrahedron12_volumes_positive,
 252   tp "tetrahedron13 volumes positive" prop_tetrahedron13_volumes_positive,
 253   tp "tetrahedron14 volumes positive" prop_tetrahedron14_volumes_positive,
 254   tp "tetrahedron15 volumes positive" prop_tetrahedron15_volumes_positive,
 255   tp "tetrahedron16 volumes positive" prop_tetrahedron16_volumes_positive,
 256   tp "tetrahedron17 volumes positive" prop_tetrahedron17_volumes_positive,
 257   tp "tetrahedron18 volumes positive" prop_tetrahedron18_volumes_positive,
 258   tp "tetrahedron19 volumes positive" prop_tetrahedron19_volumes_positive,
 259   tp "tetrahedron20 volumes positive" prop_tetrahedron20_volumes_positive,
 260   tp "tetrahedron21 volumes positive" prop_tetrahedron21_volumes_positive,
 261   tp "tetrahedron22 volumes positive" prop_tetrahedron22_volumes_positive,
 262   tp "tetrahedron23 volumes positive" prop_tetrahedron23_volumes_positive,
 263   tp "v0 all equal" prop_v0_all_equal,
 264   tp "interior values all identical" prop_interior_values_all_identical,
 265   tp "c-tilde_2100 rotation correct" prop_c_tilde_2100_rotation_correct,
 266   tp "c-tilde_2100 correct" prop_c_tilde_2100_correct ]
 267
 268
 269 tetrahedron_properties :: Test.Framework.Test
 270 tetrahedron_properties =
 271     testGroup "Tetrahedron Properties" [
 272       tp "b0_v0_always_unity" prop_b0_v0_always_unity,
 273       tp "b0_v1_always_zero" prop_b0_v1_always_zero,
 274       tp "b0_v2_always_zero" prop_b0_v2_always_zero,
 275       tp "b0_v3_always_zero" prop_b0_v3_always_zero,
 276       tp "b1_v1_always_unity" prop_b1_v1_always_unity,
 277       tp "b1_v0_always_zero" prop_b1_v0_always_zero,
 278       tp "b1_v2_always_zero" prop_b1_v2_always_zero,
 279       tp "b1_v3_always_zero" prop_b1_v3_always_zero,
 280       tp "b2_v2_always_unity" prop_b2_v2_always_unity,
 281       tp "b2_v0_always_zero" prop_b2_v0_always_zero,
 282       tp "b2_v1_always_zero" prop_b2_v1_always_zero,
 283       tp "b2_v3_always_zero" prop_b2_v3_always_zero,
 284       tp "b3_v3_always_unity" prop_b3_v3_always_unity,
 285       tp "b3_v0_always_zero" prop_b3_v0_always_zero,
 286       tp "b3_v1_always_zero" prop_b3_v1_always_zero,
 287       tp "b3_v2_always_zero" prop_b3_v2_always_zero,
 288       tp "swapping_vertices_doesnt_affect_coefficients1"
 289          $ prop_swapping_vertices_doesnt_affect_coefficients1,
 290       tp "swapping_vertices_doesnt_affect_coefficients2"
 291          $ prop_swapping_vertices_doesnt_affect_coefficients2,
 292       tp "swapping_vertices_doesnt_affect_coefficients3"
 293          $ prop_swapping_vertices_doesnt_affect_coefficients3,
 294       tp "swapping_vertices_doesnt_affect_coefficients4"
 295          $ prop_swapping_vertices_doesnt_affect_coefficients4,
 296       tp "x rotation doesn't affect front" prop_x_rotation_doesnt_affect_front,
 297       tp "x rotation doesn't affect back" prop_x_rotation_doesnt_affect_back,
 298       tp "y rotation doesn't affect left" prop_y_rotation_doesnt_affect_left,
 299       tp "y rotation doesn't affect right" prop_y_rotation_doesnt_affect_right,
 300       tp "z rotation doesn't affect top" prop_z_rotation_doesnt_affect_top,
 301       tp "z rotation doesn't affect down" prop_z_rotation_doesnt_affect_down ]
 302
 303 tests :: [Test.Framework.Test]
 304 tests = [ cardinal_tests,
 305           function_values_tests,
 306           grid_tests,
 307           misc_tests,
 308           tetrahedron_tests,
 309           cube_properties,
 310           tetrahedron_properties,
 311           misc_properties,
 312           cardinal_properties,
 313           edge_incidence_tests,
 314           p78_24_properties,
 315 --          p78_25_properties,
 316           p79_26_properties,
 317           p79_27_properties,
 318           p79_28_properties ]