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: e18c359f3d21f047e139f1f3e9cc4a4e101d946a (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