penrose-0.1.1.0: test/TestSuite.hs

-- Modeled after Snap: https://github.com/snapframework/snap-core/blob/master/test/TestSuite.hs
module Main where

import Test.Tasty
import Test.Tasty.SmallCheck as SC
import Test.Tasty.QuickCheck as QC
import Test.Tasty.HUnit

-- TODO factor out test into functions
-- TODO check/track test coverage
-- TODO figure out how to test ShadowMain and optimization intermediate stages
-- TODO use template haskell / test discovery
-- TODO we might want inline assertions in code too, to enforce invariants

-- import Main hiding (main)
import qualified ShadowMain.Tests
import qualified Functions.Tests
import qualified Shapes.Tests
import qualified Utils.Tests
import qualified Transforms.Tests
-- import qualified Substance.Tests
-- import qualified Style.Tests
import qualified Server.Tests

main = defaultMain tests

tests :: TestTree
tests = testGroup "Tests"
      [ ShadowMain.Tests.tests,
        Functions.Tests.tests,
        Shapes.Tests.tests,
        Utils.Tests.tests,
        Transforms.Tests.tests,
        -- NOTE: need better test cases since we cannot parse Substance nor Style progs without element progs
        -- Substance.Tests.tests,
        -- Style.Tests.tests,
        Server.Tests.tests
      ]