module Main where import Test.Tasty import QuickCheck main :: IO () main = defaultMain $ testGroup "Relotophile" [ quickchecks ]