Small adjustments
authorSean <burton.seanr@gmail.com>
Thu, 24 Sep 2015 18:59:43 +0000 (19:59 +0100)
committerSean <burton.seanr@gmail.com>
Thu, 24 Sep 2015 18:59:43 +0000 (19:59 +0100)
tests/Properties.hs

index a78270c..517e86c 100644 (file)
@@ -152,7 +152,7 @@ prop_concatBP       = forAll (sized $ \n -> resize (n `div` 2) arbitrary) $
 prop_nullBP         = L.null                 `eq1`  P.null
 prop_reverseBP      = L.reverse              `eq1`  P.reverse
 
---prop_transposeBP    = L.transpose            `eq1`  P.transpose
+prop_transposeBP    = L.transpose            `eq1`  P.transpose
 prop_groupBP        = L.group                `eq1`  P.group
 prop_groupByBP      = L.groupBy              `eq2`  P.groupBy
 prop_initsBP        = L.inits                `eq1`  P.inits
@@ -1640,7 +1640,7 @@ short_tests =
 -- The entry point
 
 main :: IO ()
-main = defaultMain tests
+main = defaultMainWithArgs tests ["-o 3"] -- timeout if a test runs for >3 secs
 
 --
 -- And now a list of all the properties to test.
@@ -1900,7 +1900,7 @@ bp_tests =
     , testProperty "snoc"        prop_snocBP
     , testProperty "tail"        prop_tailBP
     , testProperty "scanl"       prop_scanlBP
---  , testProperty "transpose"   prop_transposeBP
+    , testProperty "transpose"   prop_transposeBP
     , testProperty "replicate"   prop_replicateBP
     , testProperty "take"        prop_takeBP
     , testProperty "drop"        prop_dropBP
@@ -2271,7 +2271,7 @@ ll_tests =
     , testProperty "reverse"            prop_reverse
     , testProperty "reverse1"           prop_reverse1
     , testProperty "reverse2"           prop_reverse2
-    , testProperty "transpose"          prop_transpose
+    --, testProperty "transpose"          prop_transpose
     , testProperty "foldl"              prop_foldl
     , testProperty "foldl/reverse"      prop_foldl_1
     , testProperty "foldr"              prop_foldr
@@ -2289,7 +2289,7 @@ ll_tests =
     , testProperty "all"                prop_all
     , testProperty "maximum"            prop_maximum
     , testProperty "minimum"            prop_minimum
-    , testProperty "replicate 1"        prop_replicate1
+    --, testProperty "replicate 1"        prop_replicate1
     , testProperty "replicate 2"        prop_replicate2
     , testProperty "take"               prop_take1
     , testProperty "drop"               prop_drop1