module Main (main) where import Test.Tasty.Silver.Interactive (defaultMain) import qualified Root main :: IO () main = do discoveredTests <- Root.tests defaultMain discoveredTests