Doctest.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/Doctest.hs

blob: 7463dfec03f1efbed042ce215889266389a77e46 (plain)

module Main where

import           Build_doctests (flags, module_sources, pkgs)
import           Test.DocTest   (doctest)

main :: IO ()
main = doctest args where args = flags ++ pkgs ++ module_sources