X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=8402f16235635f78e3e6ec511794a6142191690c;hb=57c28cdd36989e49e59f556a5d7569768ea5ebb3;hp=cd39f575d6beb152c8b32cdf2527fe2f2352c1e0;hpb=25c8b387c4b655751265605bd4af033698624f38;p=spline3.git

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index cd39f57..8402f16 100644
--- 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... "