module Main (main) where import GF2test (run) import TonelliShanksTest (run) main :: IO () main = do putStrLn "Running all tests" GF2test.run TonelliShanksTest.run putStrLn "All tests done."