Add a test for p. 78, (2.5).

[spline3.git] / test / TestSuite.hs

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index cd39f575d6beb152c8b32cdf2527fe2f2352c1e0..8402f16235635f78e3e6ec511794a6142191690c 100644 (file)
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -75,6 +75,8 @@ main = do
   putStr "prop_b3_v2_always_zero... "
   quickCheckWith qc_args prop_b3_v2_always_zero
 
+  putStrLn "\np. 78, (2.4)\n"
+
   putStr "prop_c3000_identity... "
   quickCheckWith qc_args TT.prop_c3000_identity
 
@@ -84,6 +86,10 @@ main = do
   putStr "prop_c1110_identity... "
   quickCheckWith qc_args TT.prop_c1110_identity
 
+  putStrLn "\np. 78, (2.5)\n"
+
+  putStr "prop_cijk1_identity... "
+  quickCheckWith qc_args prop_cijk1_identity
   putStrLn "\np. 79, (2.6)\n"
 
   putStr "prop_c0120_identity1... "