lambda-cube-0.3.0.0: test/Test.hs

module Main
  ( main
  ) where

import qualified LambdaCube.STLCTest     as STLC
import qualified LambdaCube.SystemFwTest as SystemFw
import           Test.Tasty

main :: IO ()
main = do
  testsForSTLC <- STLC.tests
  testsForSystemFw <- SystemFw.tests
  defaultMain $ testGroup "tests"
    [ testsForSTLC
    , testsForSystemFw
    ]