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

blob: 0eb9e0a27ab3a0a7ca0fa484407d4e1c8a2cb88a (plain)

module Main where

import           Property
import           Test.Tasty
import           Unit

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

main = defaultMain tests