import Test.Framework (defaultMain)

import Props (tests)

main :: IO ()
main = defaultMain tests