-- |
-- Copyright : (c) Raghu Kaippully, 2020
-- License : MPL-2.0
-- Maintainer : rkaippully@gmail.com
--
module Properties
( propertyTests
) where
import Test.Tasty (TestTree, testGroup)
import qualified Properties.Trait.Body as Body
import qualified Properties.Trait.Header as Header
import qualified Properties.Trait.Method as Method
import qualified Properties.Trait.Path as Path
propertyTests :: TestTree
propertyTests = testGroup "Property Tests" [ Body.tests
, Header.tests
, Method.tests
, Path.tests
]