import Test (allTests)
import Test.Tasty (defaultMain)

main :: IO ()
main = defaultMain allTests