- putStrLn "HUnit"
- putStrLn "-----"
- runTestTT test_suite
- putStrLn ""
- putStrLn "QuickCheck"
- putStrLn "----------"
- let qc_args = stdArgs { maxSuccess = 100,
- maxDiscard = 500,
- maxSize = 100 }
-
-
- -- putStrLn "\np. 78, (2.5)\n"
-
- -- putStr "prop_cijk1_identity... "
- -- quickCheckWith qc_args prop_cijk1_identity
-
-
- putStr "prop_interior_values_all_identical... "
- quickCheckWith qc_args prop_interior_values_all_identical
-
- putStr "prop_c_tilde_2100_rotation_correct... "
- quickCheckWith qc_args prop_c_tilde_2100_rotation_correct
-
- putStr "prop_x_rotation_doesnt_affect_front... "
- quickCheckWith qc_args prop_x_rotation_doesnt_affect_front
-
- putStr "prop_x_rotation_doesnt_affect_back... "
- quickCheckWith qc_args prop_x_rotation_doesnt_affect_back
-
- putStr "prop_y_rotation_doesnt_affect_left... "
- quickCheckWith qc_args prop_y_rotation_doesnt_affect_left
-
- putStr "prop_y_rotation_doesnt_affect_right... "
- quickCheckWith qc_args prop_y_rotation_doesnt_affect_right
-
- putStr "prop_z_rotation_doesnt_affect_top... "
- quickCheckWith qc_args prop_z_rotation_doesnt_affect_top
-
- putStr "prop_z_rotation_doesnt_affect_down... "
- quickCheckWith qc_args prop_z_rotation_doesnt_affect_down
-
- putStr "prop_c_tilde_2100_correct... "
- quickCheckWith qc_args prop_c_tilde_2100_correct
-
-
- putStrLn "\nTetrahedron Tests\n"
-
- putStr "prop_b0_v0_always_unity... "
- quickCheckWith qc_args prop_b0_v0_always_unity
-
- putStr "prop_b0_v1_always_zero... "
- quickCheckWith qc_args prop_b0_v1_always_zero
-
- putStr "prop_b0_v2_always_zero... "
- quickCheckWith qc_args prop_b0_v2_always_zero
-
- putStr "prop_b0_v3_always_zero... "
- quickCheckWith qc_args prop_b0_v3_always_zero
-
- putStr "prop_b1_v1_always_unity... "
- quickCheckWith qc_args prop_b1_v1_always_unity
-
- putStr "prop_b1_v0_always_zero... "
- quickCheckWith qc_args prop_b1_v0_always_zero
-
- putStr "prop_b1_v2_always_zero... "
- quickCheckWith qc_args prop_b1_v2_always_zero
-
- putStr "prop_b1_v3_always_zero... "
- quickCheckWith qc_args prop_b1_v3_always_zero
-
- putStr "prop_b2_v2_always_unity... "
- quickCheckWith qc_args prop_b2_v2_always_unity
-
- putStr "prop_b2_v0_always_zero... "
- quickCheckWith qc_args prop_b2_v0_always_zero
-
- putStr "prop_b2_v1_always_zero... "
- quickCheckWith qc_args prop_b2_v1_always_zero
-
- putStr "prop_b2_v3_always_zero... "
- quickCheckWith qc_args prop_b2_v3_always_zero
-
- putStr "prop_b3_v3_always_unity... "
- quickCheckWith qc_args prop_b3_v3_always_unity
-
- putStr "prop_b3_v0_always_zero... "
- quickCheckWith qc_args prop_b3_v0_always_zero
-
- putStr "prop_b3_v1_always_zero... "
- quickCheckWith qc_args prop_b3_v1_always_zero
-
- putStr "prop_b3_v2_always_zero... "
- quickCheckWith qc_args prop_b3_v2_always_zero
-
- putStr "prop_swapping_vertices_doesnt_affect_coefficients1... "
- quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients1
-
- putStr "prop_swapping_vertices_doesnt_affect_coefficients2... "
- quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients2
-
- putStr "prop_swapping_vertices_doesnt_affect_coefficients3... "
- quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients3
-
- putStr "prop_swapping_vertices_doesnt_affect_coefficients4... "
- quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients4
-
- defaultMain tests
-
- return ()
-
-
--- | Defined so that my test names fit on one line.
-tp :: Test.QuickCheck.Testable a => TestName -> a -> Test.Framework.Test
-tp = testProperty
-
-misc_properties :: Test.Framework.Test
-misc_properties =
- testGroup "Misc Properties" [
- tp "factorial greater" prop_factorial_greater ]
-
-cardinal_properties :: Test.Framework.Test
-cardinal_properties =
- testGroup "Cardinal Properties" [
- tp "ccwx rotation changes direction" prop_ccwx_rotation_changes_direction,
- tp "cwx rotation changes direction" prop_cwx_rotation_changes_direction,
- tp "ccwy rotation changes direction" prop_ccwy_rotation_changes_direction,
- tp "cwy rotation changes direction" prop_cwy_rotation_changes_direction,
- tp "ccwz rotation changes direction" prop_ccwz_rotation_changes_direction,
- tp "cwz rotation changes direction" prop_cwz_rotation_changes_direction,
- tp "ccwx rotation result unique" prop_ccwx_rotation_result_unique,
- tp "cwx rotation result unique" prop_cwx_rotation_result_unique,
- tp "ccwy rotation result unique" prop_ccwy_rotation_result_unique,
- tp "cwy rotation result unique" prop_cwy_rotation_result_unique,
- tp "ccwz rotation result unique" prop_ccwz_rotation_result_unique,
- tp "cwz rotation result unique" prop_cwz_rotation_result_unique,
- tp "four cwx is identity" prop_four_cwx_is_identity,
- tp "four ccwx is identity" prop_four_ccwx_is_identity,
- tp "four cwy is identity" prop_four_cwy_is_identity,
- tp "four ccwy is identity" prop_four_ccwy_is_identity,
- tp "four cwz is identity" prop_four_cwz_is_identity,
- tp "four ccwz is identity" prop_four_ccwz_is_identity]
-
-
-p78_24_properties :: Test.Framework.Test
-p78_24_properties =
- testGroup "p. 78, Section (2.4) Properties" [
- tp "c3000 identity" TT.prop_c3000_identity,
- tp "c2100 identity" TT.prop_c2100_identity,
- tp "c1110 _identity" TT.prop_c1110_identity]
-
-
-edge_incidence_tests :: Test.Framework.Test
-edge_incidence_tests =
- testGroup "Edge Incidence Tests" [
- tp "t0 shares edge with t6" prop_t0_shares_edge_with_t6,
- tp "t0 shares edge with t1" prop_t0_shares_edge_with_t1,
- tp "t0 shares edge with t3" prop_t0_shares_edge_with_t3,
- tp "t1 shares edge with t2" prop_t1_shares_edge_with_t2,
- tp "t1 shares edge with t19" prop_t1_shares_edge_with_t19,
- tp "t2 shares edge with t3" prop_t2_shares_edge_with_t3,
- tp "t2 shares edge with t12" prop_t2_shares_edge_with_t12,
- tp "t3 shares edge with t21" prop_t3_shares_edge_with_t21,
- tp "t4 shares edge with t5" prop_t4_shares_edge_with_t5,
- tp "t4 shares edge with t7" prop_t4_shares_edge_with_t7,
- tp "t4 shares edge with t10" prop_t4_shares_edge_with_t10,
- tp "t5 shares edge with t6" prop_t5_shares_edge_with_t6,
- tp "t5 shares edge with t16" prop_t5_shares_edge_with_t16,
- tp "t6 shares edge with t7" prop_t6_shares_edge_with_t7,
- tp "t7 shares edge with t20" prop_t7_shares_edge_with_t20 ]
-
-
-p79_26_properties :: Test.Framework.Test
-p79_26_properties =
- testGroup "p. 79, Section (2.6) Properties" [
- tp "c0120 identity1" TC.prop_c0120_identity1,
- tp "c0120 identity2" TC.prop_c0120_identity2,
- tp "c0120 identity3" TC.prop_c0120_identity3,
---
--- These repeats of the previous test are failing at the moment.
---
--- tp "c0120 identity4" TC.prop_c0120_identity4,
--- tp "c0120 identity5" TC.prop_c0120_identity5,
--- tp "c0120 identity6" TC.prop_c0120_identity6,
- tp "c0210 identity1" TC.prop_c0210_identity1,
- tp "c0300 identity1" TC.prop_c0300_identity1,
- tp "c1110 identity" TC.prop_c1110_identity,
- tp "c1200 identity1" TC.prop_c1200_identity1,
- tp "c2100 identity1" TC.prop_c2100_identity1]
-
-p79_27_properties :: Test.Framework.Test
-p79_27_properties =
- testGroup "p. 79, Section (2.7) Properties" [
- tp "c0102 identity1" TC.prop_c0102_identity1,
- tp "c0201 identity1" TC.prop_c0201_identity1,
- tp "c0300 identity2" TC.prop_c0300_identity2,
- tp "c1101 identity" TC.prop_c1101_identity,
- tp "c1200 identity2" TC.prop_c1200_identity2,
- tp "c2100 identity2" TC.prop_c2100_identity2 ]
-