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 9b Ex 4: test deeper stacks

Browse Source
This commit is contained in:
Joel Kaasinen
2021-05-24 08:08:32 +03:00
parent 92d27bf6e4
commit ad7b8edb45
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
exercises/Set9bTest.hs
+3 -1
View File
@@ -197,7 +197,9 @@ ex4_danger = property $ do
let xs = dangerZone n (i,j)
x <- elements xs
return $ conjoin [$(testing [| danger x [(i,j)] |]) (?== True)
,$(testing [| danger x [(i,j),(i',j')] |]) (?== True)]
,$(testing [| danger x [(i,j),(i',j')] |]) (?== True)
,$(testing [| danger x [(i',j'),(i,j)] |]) (?== True)
,$(testing [| danger x [(i',j),(i',j'),(i,j)] |]) (?== True)]
ex4_danger_neg = property $ do
(i,j) <- coord