add Integer property
authorDon Stewart <dons@cse.unsw.edu.au>
Fri, 12 Jan 2007 12:02:46 +0000 (13:02 +0100)
committerDon Stewart <dons@cse.unsw.edu.au>
Fri, 12 Jan 2007 12:02:46 +0000 (13:02 +0100)
tests/QC.hs

index a43ceed..9bfa8b1 100644 (file)
@@ -123,7 +123,7 @@ main = do
 run :: [(String, Int -> IO ())] -> IO ()
 run tests = do
     x <- getArgs
-    let n = if null x then 100 else read . head $ x
+    let n = if null x then 200 else read . head $ x
     mapM_ (\(s,a) -> printf "%-25s: " s >> a n) tests
 
 tests =
@@ -163,4 +163,5 @@ tests =
         ,("Set Word32",      mytest (roundTrip :: Set.Set Word32 -> Bool))
         ,("Map Word16 Int",  mytest (roundTrip :: Map.Map Word16 Int -> Bool))
         ,("Sequence", mytest (roundTrip :: Seq.Seq Int64 -> Bool))
+        ,("Integer" , mytest (roundTrip :: Integer -> Bool))
         ]