We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 37bdae8 commit fa2b1c7Copy full SHA for fa2b1c7
exercises/Set2aTest.hs
@@ -46,9 +46,9 @@ ex2_takeFinal_1 = property $ do
46
47
ex2_takeFinal_2 = property $ do
48
n <- choose (0,20)
49
- k <- choose (0,n)
+ k <- choose (0,20)
50
let inp = reverse [0..n]
51
- return $ $(testing [|takeFinal k inp|]) (?== reverse [0..k-1])
+ return $ $(testing [|takeFinal k inp|]) (?== reverse [0..min (k-1) n])
52
53
ex3_updateAt = property $ do
54
ws <- listOf1 word
0 commit comments