mirror of https://github.com/voidlizard/hbs2
22 lines
397 B
Haskell
22 lines
397 B
Haskell
{-# LANGUAGE OverloadedStrings #-}
|
|
|
|
module AuthProperties (
|
|
testAuth
|
|
) where
|
|
|
|
import Util
|
|
import Crypto.Saltine.Core.Auth
|
|
|
|
import Test.Framework.Providers.QuickCheck2
|
|
import Test.Framework
|
|
|
|
testAuth :: Test
|
|
testAuth = buildTest $ do
|
|
k <- newKey
|
|
return $ testGroup "...Internal.Auth" [
|
|
|
|
testProperty "Authenticates message"
|
|
$ \(Message bs) -> verify k (auth k bs) bs == True
|
|
|
|
]
|