module Main where

import qualified Property
import qualified Unit

import Test.Tasty

main :: IO ()
main = defaultMain tests

tests :: TestTree
tests = testGroup "Tests" [Property.tests, Unit.tests]

module Main where

import qualified Property
import qualified Unit

import Test.Tasty

main :: IO ()
main = defaultMain tests

tests :: TestTree
tests = testGroup "Tests" [Property.tests, Unit.tests]
