From 7e5621f79dfbeb2e5112bef931c4cfc858a2f19e Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 27 Jul 2019 00:57:44 +0200 Subject: Add a benchmark --- test/Benchmark.hs | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'test') 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 + ] + ] -- cgit