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

blob: f72022d87e340789e19acb698a2a793c31762f83 (plain)

import           Test.DocTest

main =
  doctest ["-XOverloadedStrings", "-isrc", "src/Test/VeriFuzz/Verilog/Mutate.hs"]