We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent db40495 commit 170edd3Copy full SHA for 170edd3
tests/Properties/HashMapLazy.hs
@@ -360,12 +360,12 @@ tests =
360
\(Fn f :: Fun A B) (m :: HMK A) -> isValid (HM.map f m)
361
]
362
, testGroup "traverseWithKey"
363
- [ testProperty "model" $ QC.mapSize (\s -> s `div` 8) $
+ [ testProperty "model" $ QC.mapSize (\s -> min 18 $ div s 8) $
364
\(x :: HMKI) ->
365
let f k v = [keyToInt k + v + 1, keyToInt k + v + 2]
366
ys = HM.traverseWithKey f x
367
in List.sort (fmap toOrdMap ys) === List.sort (M.traverseWithKey f (toOrdMap x))
368
- , testProperty "valid" $ QC.mapSize (\s -> s `div` 8) $
+ , testProperty "valid" $ QC.mapSize (\s -> min 18 $ div s 8) $
369
370
371
0 commit comments