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 6652e8b6331f039cd90cd9c7791dab61f2fd3f58..7fce9754b539c37f1a34386caea1212fe181ae0e 100644 (file)
--- 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 b021fa3de834bd594ea41885df8a66f1ea3fa607..0491f56dfe87babdb1b7f914e5da9e0d5e7a5cb0 100644 (file)
--- 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