diff options
Diffstat (limited to 'test/Benchmark.hs')
| -rw-r--r-- | test/Benchmark.hs | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/test/Benchmark.hs b/test/Benchmark.hs index 5893b81..d0ea9cd 100644 --- a/test/Benchmark.hs +++ b/test/Benchmark.hs @@ -1,7 +1,15 @@ module Main where -import Criterion (benchmark, nfAppIO) -import VeriFuzz +import Control.Lens ((&), (.~)) +import Criterion.Main (bench, bgroup, defaultMain, nfAppIO) +import VeriFuzz (configProperty, defaultConfig, proceduralIO, + propSize, propStmntDepth) main :: IO () -main = benchmark $ nfAppIO (proceduralIO "top") defaultConfig +main = defaultMain + [ bgroup "generation" + [ bench "default" $ nfAppIO (proceduralIO "top") defaultConfig + , bench "depth" . nfAppIO (proceduralIO "top") $ defaultConfig & configProperty . propStmntDepth .~ 10 + , bench "size" . nfAppIO (proceduralIO "top") $ defaultConfig & configProperty . propSize .~ 40 + ] + ] |