2020-12-07 09:06:32 +03:00
|
|
|
module Main where
|
|
|
|
|
2020-12-02 18:33:37 +03:00
|
|
|
import Test.HUnit
|
2020-12-07 09:06:32 +03:00
|
|
|
import TestConstraints
|
|
|
|
import TestLookup
|
2017-06-26 12:15:03 +03:00
|
|
|
|
|
|
|
main :: IO ()
|
2020-12-02 18:33:37 +03:00
|
|
|
main = do
|
|
|
|
_ <- runTestTT (groupTests "Constraints" testConstraints)
|
2020-12-07 09:06:32 +03:00
|
|
|
_ <- runTestTT (groupTests "Lookup" testLookup)
|
2020-12-02 18:33:37 +03:00
|
|
|
return ()
|
2017-06-26 12:15:03 +03:00
|
|
|
|
|
|
|
groupTests :: String -> [Test] -> Test
|
|
|
|
groupTests label testCases =
|
2020-12-02 18:33:37 +03:00
|
|
|
TestList (zipWith TestLabel (map ((\s -> label ++ " Test " ++ s) . show) [1 ..]) testCases)
|