iritmaximus/haskell
1
0
Fork 0
mirror of https://github.com/iritmaximus/haskell.git synced 2026-10-12 19:13:39 +03:00
Code Issues Packages Projects Releases Wiki Activity

Set 16a Ex 6: one more test case

Browse Source 
thanks to @Preoo

fixes #35
This commit is contained in:
Joel Kaasinen
2021-06-07 21:33:24 +03:00
parent d39c61c784
commit 1b5e6bccd3
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
exercises/Set16aTest.hs
+2 -1
View File
@@ -114,7 +114,8 @@ ex6_1 = testGen genList $ \l ->
ex6_2 = once $ testGenMany genList 30 $ \ls ->
conjoin [counterexample " should have lists of all lengths" $ nub (sort (map length ls)) ?== [3,4,5]
,counterexample " should at least 7 different ints" $ length (nub (sort (concat ls))) >= 7]
,counterexample " should at least 7 different ints" $ length (nub (sort (concat ls))) >= 7
,counterexample " should have a list with differing elements" $ any ((>1).length.nub) ls]
ex7_arg_1 = counterexample "arbitrary :: Gen Arg" $
testGen (arbitrary :: Gen Arg) $ \a ->