-- Copyright (C) 2013, 2014, 2015 Fraser Tweedale -- -- Licensed under the Apache License, Version 2.0 (the "License"); -- you may not use this file except in compliance with the License. -- You may obtain a copy of the License at -- -- http://www.apache.org/licenses/LICENSE-2.0 -- -- Unless required by applicable law or agreed to in writing, software -- distributed under the License is distributed on an "AS IS" BASIS, -- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -- See the License for the specific language governing permissions and -- limitations under the License. import Test.Hspec import Test.Tasty import Test.Tasty.Hspec import Crypto.JOSE (vulnerableToHashFlood) import AESKW import Examples import JWK import JWS import JWT import Types import Properties main :: IO () main = do unitTests <- unitTestsIO defaultMain $ testGroup "Tests" [unitTests, properties, aeskwProperties] unitTestsIO :: IO TestTree unitTestsIO = do testGroup "Unit tests" <$> sequenceA specs where specs = [ testSpec "Types" Types.spec , testSpec "JWK" JWK.spec , testSpec "JWS" JWS.spec , testSpec "JWT" JWT.spec , testSpec "Examples" Examples.spec , testSpec "Security" securitySpec ] securitySpec :: Spec securitySpec = describe "security characteristics" $ it "not vulnerable to hash-flood" $ vulnerableToHashFlood `shouldBe` False