Set 2a Ex 2: test case n > length xs

fixes #18
2026-10-12 19:13:39 +03:00 · 2021-01-02 21:54:28 +02:00
parent 37bdae8850
commit fa2b1c780c
1 changed files with 2 additions and 2 deletions
@@ -46,9 +46,9 @@ ex2_takeFinal_1 = property $ do

 ex2_takeFinal_2 = property $ do
  n <- choose (0,20)
-  k <- choose (0,n)
+  k <- choose (0,20)
  let inp = reverse [0..n]
-  return $ $(testing [|takeFinal k inp|]) (?== reverse [0..k-1])
+  return $ $(testing [|takeFinal k inp|]) (?== reverse [0..min (k-1) n])

 ex3_updateAt = property $ do
  ws <- listOf1 word