X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=ee6f0d4f797015e233c7196cafd5103a409c51ef;hb=edf374f084fe4e495ea4f5bd87a4646e8559c1d1;hp=ac1045bc2d1eab200197ef8b833c1d51380fb0ef;hpb=ec2f7ca5bb3b0c41c62812cd725c62e731bb9902;p=spline3.git diff --git a/test/TestSuite.hs b/test/TestSuite.hs index ac1045b..ee6f0d4 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -238,6 +238,9 @@ main = do -- putStr "prop_c0300_identity3... " -- quickCheckWith qc_args TF.prop_c0300_identity3 + putStrLn "prop_c_tilde_2100_rotation_correct... " + quickCheckWith qc_args prop_c_tilde_2100_rotation_correct + putStrLn "prop_c_tilde_2100_correct... " quickCheckWith qc_args prop_c_tilde_2100_correct