on 0.11.2.1 help sign in
11 lines 296 B history raw
1module Main (main) where
3import Test.Framework (defaultMain)
4import qualified DataFamilies.Properties as DF
5import qualified Properties
6import qualified UnitTests
8main :: IO ()
9main = do
10 ioTests <- UnitTests.ioTests
11 defaultMain (DF.tests : Properties.tests : UnitTests.tests : ioTests)