1 2 3 4 5 6 7 8 9 10
module Main where import Property import Test.Tasty import Unit tests :: TestTree tests = testGroup "Tests" [unitTests, propertyTests] main = defaultMain tests