Hans/haga
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use noDupsList generator for more tests

Browse Source
This commit is contained in:
David Pätzel 2019-10-19 15:57:55 +02:00
parent 36999532c2
commit 2a9459f226
1 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/Seminar.hs
View File

@ -182,20 +182,22 @@ unique xs = length xs == (length . nub) xs
prop_valid_empty = valid []
prop_valid_dupNoT ss = unique ss ==> valid (ss `zip` repeat NoT)
prop_valid_dupNoT =
forAll noDupsList $ \ss ->
valid (ss `zip` repeat NoT)
prop_valid_dupT ss ts =
unique ss
&& unique ts
&& length ss > length ts
&& not (null ts)
&& NoT `notElem` ts
==> not . valid $ ss `zip` cycle ts
prop_valid_dupT =
forAll noDupsList $ \ss ->
forAll noDupsList $ \ts' ->
let ts = filter (/= NoT) ts'
in length ss > length ts && not (null ts)
==> not . valid
$ ss `zip` cycle ts
prop_valid_noDups =
forAll noDupsList $ \ss ->
forAll noDupsList $ \ts ->
valid $ ss `zip` ts
valid $ ss `zip` ts
{-|
Generator for lists fulfilling 'unique', that is, only containing unique