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