futhark-0.15.8: unittests/futhark_tests.hs

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.Optimise.AlgSimplifyTests
import qualified Futhark.Pkg.SolveTests
import qualified Futhark.IR.PrimitiveTests
import qualified Futhark.Analysis.ScalExpTests

import Test.Tasty

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

main :: IO ()
main = defaultMain allTests