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

{-# LANGUAGE OverloadedStrings #-}

module Main where

import qualified ParserTests
import qualified ShareMapTests
import qualified SimplifyTests
import qualified InterpretTests
import qualified UndoANFTests
import Test.Tasty

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