liquid-fixpoint-8.10.7: tests/tasty/Main.hs

{-# LANGUAGE OverloadedStrings #-}

module Main where

import qualified ParserTests
import qualified ShareMapTests
import Test.Tasty
import Test.Tasty.HUnit

main :: IO ()
main = defaultMain $ testGroup "Tests"
  [ ParserTests.tests
  , ShareMapTests.tests
  ]