clash-finite-1.0.0.0: tests/Main.hs

module Main where

import Test.Tasty (defaultMain)

import Clash.Tests.Laws.Finite

main :: IO ()
main = defaultMain tests