module Main (main) where

import qualified Language.Futhark.SyntaxTests
import qualified Futhark.BenchTests
import qualified Futhark.IR.Syntax.CoreTests
import qualified Futhark.IR.PropTests
import qualified Futhark.IR.Mem.IxFunTests
import qualified Futhark.Pkg.SolveTests
import qualified Futhark.IR.PrimitiveTests

import Test.Tasty

allTests :: TestTree
allTests =
  testGroup ""
  [ Language.Futhark.SyntaxTests.tests
  , Futhark.BenchTests.tests
  , Futhark.IR.PropTests.tests
  , Futhark.IR.Syntax.CoreTests.tests
  , Futhark.Pkg.SolveTests.tests
  , Futhark.IR.Mem.IxFunTests.tests
  , Futhark.IR.PrimitiveTests.tests
  ]

main :: IO ()
main = defaultMain allTests