From: Michael Orlitzky Date: Wed, 30 May 2012 19:09:06 +0000 (-0400) Subject: Use lenient comparisons in two failing tests. X-Git-Tag: 0.0.1~50 X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=c2d65fb39e821086b6e9ae39f9843c91da015dea;p=spline3.git Use lenient comparisons in two failing tests. Reduce the number of test cases to 500 to prevent exhaustion. --- diff --git a/src/Cube.hs b/src/Cube.hs index 6652e8b..7fce975 100644 --- a/src/Cube.hs +++ b/src/Cube.hs @@ -17,6 +17,7 @@ import qualified Data.Vector as V ( snoc, unsafeIndex ) + import Prelude hiding (LT) import Test.Framework (Test, testGroup) import Test.Framework.Providers.QuickCheck2 (testProperty) @@ -976,7 +977,7 @@ prop_interior_values_all_identical cube = -- This test checks the rotation works as expected. prop_c_tilde_2100_rotation_correct :: Cube -> Bool prop_c_tilde_2100_rotation_correct cube = - expr1 == expr2 + expr1 ~= expr2 where t0 = tetrahedron cube 0 t6 = tetrahedron cube 6 @@ -1010,7 +1011,7 @@ prop_c_tilde_2100_rotation_correct cube = -- even meaningful! prop_c_tilde_2100_correct :: Cube -> Bool prop_c_tilde_2100_correct cube = - c t6 2 1 0 0 == expected + c t6 2 1 0 0 ~= expected where t0 = tetrahedron cube 0 t6 = tetrahedron cube 6 diff --git a/test/TestSuite.hs b/test/TestSuite.hs index b021fa3..0491f56 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -32,7 +32,7 @@ main = do let empty_test_opts = mempty :: TestOptions let my_test_opts = empty_test_opts { - topt_maximum_generated_tests = Just 1000 + topt_maximum_generated_tests = Just 500 } let empty_runner_opts = mempty :: RunnerOptions