1 module TestMain
2 
3 import Math.LinearAlgebraTest
4 import SolidGeometry.CircleTest
5 import SolidGeometry.PolygonTest
6 import Test.TestTree
7 
8 %default total
9 
10 tests : TestTree
11 
12 main : IO ()
13 main =
14   ignore $
15   runTestTree $
16   MkTestGroup "all tests"
17   [ LinearAlgebraTest.tests
18   , CircleTest.tests
19   , PolygonTest.tests
20   ]