diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-07-27 00:57:44 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-27 00:57:44 +0200 |
commit | 7e5621f79dfbeb2e5112bef931c4cfc858a2f19e (patch) | |
tree | 03677dc06c19f6c188446661a51c158adafc83a8 /test | |
parent | 7777952f38b24f26f29c2327296494f32d5f49a9 (diff) | |
download | verismith-7e5621f79dfbeb2e5112bef931c4cfc858a2f19e.tar.gz verismith-7e5621f79dfbeb2e5112bef931c4cfc858a2f19e.zip |
Add a benchmark
Diffstat (limited to 'test')
-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 + ] + ] |