blob: 8abc870ca6e9e1f31df6a69b9405b8027ca8c3f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
module Main (main) where
import Test.Tasty
import qualified MindTest
import qualified GenomeTest
import qualified LatticeTest
import qualified WorldTypesTest
main :: IO ()
main = defaultMain $ testGroup "all tests" $
[ MindTest.suite
, GenomeTest.suite
, LatticeTest.suite
, WorldTypesTest.suite
]
|
