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

blob: 22cdb29907ce6bdf520fa4e86c3724d9ec368091 (plain)

module Main where

import Property
import Test.Tasty
import Unit

tests :: TestTree
tests = testGroup "Tests" [unitTests, propertyTests]

main :: IO ()
main = defaultMain tests