glambda-1.0: tests/Tests/Main.hs

-- Main testing module

module Tests.Main where

import Test.Tasty

import Tests.Lex
import Tests.Parse
import Tests.Check

allTests :: TestTree
allTests = testGroup "Top" [lexTests, parseTests, checkTests]

main :: IO ()
main = defaultMain allTests