Hi,
I don't think I am familiar enough with QuickCheck 2.
But there seems to be no verboseCheck like function,
and sample and sample' is useful to printing test cases.
ghci> sample (arbitrary :: Gen Int)
1
0
1
-2
-2
-5
-16
-9
-57
-115
-94
ghci> sample (arbitrary :: Gen (Int,Int))
(0,1)
(-1,-1)
(1,2)
(3,-4)
(-4,5)
(11,-9)
(-2,8)
(18,17)
(-63,-32)
(-117,-71)
(195,-198)
ghci> f <- fmap head $ sample' (arbitrary :: Gen (Int -> Maybe
Int))
ghci> map f [1..10]
[Nothing,Just (-1),Just 1,Nothing,Nothing,Just
1,Nothing,Nothing,Just 1,Just 1]
Thanks,
Hashimoto
On 2009/05/26, at 11:54, Shin-Cheng Mu wrote:
Hi,
I believe this must have been raised before but I
did some searching to no avail, so please allow me..
It seems that verboseCheck is gone in QuickCheck 2.
In QuickCheck 2, how do we print the test cases,
specify the number of tests, or the sizes of test
cases, etc.?
Thank you very much..
sincerely,
Shin
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
