sql-deep/QCConfig.hs at master · ezrakilty/sql-deep · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
module QCConfig where

import Test.QuickCheck
import NumKit

-- sqrtSizeSmall = Config {configMaxTest = 100,
--                         configMaxFail = 100,
--                         configSize = (\x -> intSqrt x),
--                         configEvery = (\ _ _ -> "")
--                        }

-- medium = Config {configMaxTest = 1000,
--                  configMaxFail = 1000,
--                  configSize = (\x -> 3 + x `div` 2),
--                  configEvery = (\ _ _ -> "")
--                 }

-- logSizeSmall = Config {configMaxTest = 100,
--                   configMaxFail = 100,
--                   configSize = (\x -> (floor . log . (+1) . fromIntegral) x),
--                   configEvery = (\ _ _ -> "")
--                  }
-- logSizeMed = Config {configMaxTest = 1000,
--                   configMaxFail = 1000,
--                   configSize = (\x -> (floor . log . (+1) . fromIntegral) x),
--                   configEvery = (\ _ _ -> "")
--                  }
-- logSize = Config {configMaxTest = 10000,
--                   configMaxFail = 10000,
--                   configSize = (\x -> (floor . log . (+1) . fromIntegral) x),
--                   configEvery = (\ _ _ -> "")
--                  }