import Test.Tasty ( TestTree, defaultMain, testGroup ) import Report ( report_tests ) tests :: TestTree tests = testGroup "All tests" [ report_tests ] main :: IO () main = defaultMain tests