Benchmark.hs « test - verismith - Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

about summary refs log tree commit diff stats

path: root/test/Benchmark.hs

blob: 5893b81dc90df3a113fa8d48fc7b6d7c90229318 (plain)

module Main where

import           Criterion (benchmark, nfAppIO)
import           VeriFuzz

main :: IO ()
main = benchmark $ nfAppIO (proceduralIO "top") defaultConfig