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: c234b90f5c1eab70dfd2a6edab897f46232fa9c1 (plain)

module Main where

import           Property
import           Test.Tasty
import           Unit

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

main = defaultMain tests