-- Copyright 2013 Kevin Backhouse.

module Main where

import Test.Framework as TF ( defaultMain, testGroup, Test )
import qualified TestAssembler
import qualified TestCFG
import qualified TestCFG2
import qualified TestCounter
import qualified TestLocalmin
import qualified TestOrdCons
import qualified TestRepmin
import qualified TestStringInterning

-- These modules currently only contain instance tests:
import TestCreateST2Array ()
import TestDelay ()
import TestDelayedLift ()
import TestEmitST2Array ()
import TestEmitST2ArrayFxp ()
import TestKnot3 ()
import TestMonoid2 ()
import TestTopKnot ()

main :: IO ()
main = defaultMain tests

tests :: [TF.Test]
tests =
  [ testGroup "Assembler" TestAssembler.tests
  , testGroup "CFG" TestCFG.tests
  , testGroup "CFG2" TestCFG2.tests
  , testGroup "Counter" TestCounter.tests
  , testGroup "Localmin" TestLocalmin.tests
  , testGroup "OrdCons" TestOrdCons.tests
  , testGroup "Repmin" TestRepmin.tests
  , testGroup "TestStringInterning" TestStringInterning.tests
  ]