From c2d65fb39e821086b6e9ae39f9843c91da015dea Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Wed, 30 May 2012 15:09:06 -0400 Subject: [PATCH] Use lenient comparisons in two failing tests. Reduce the number of test cases to 500 to prevent exhaustion. --- src/Cube.hs | 5 +++-- test/TestSuite.hs | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) 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 -- 2.43.2