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

{-# LANGUAGE OverloadedStrings #-}

module Main where

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

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