module Main (main) where
import Test.Tasty
import qualified Spec.Executor as Executor
import qualified Spec.NewCrypto as NewCrypto
import qualified Spec.Parser as Parser
import qualified Spec.Quasiquoter as Quasiquoter
import qualified Spec.RevocationIds as RevocationIds
import qualified Spec.Roundtrip as Roundtrip
import qualified Spec.SampleReader as SampleReader
import qualified Spec.ScopedExecutor as ScopedExecutor
import qualified Spec.Verification as Verification
main :: IO ()
main = do
sampleReader <- SampleReader.getSpecs
defaultMain $ testGroup "biscuit-haskell"
[
NewCrypto.specs
, Executor.specs
, Parser.specs
, Quasiquoter.specs
, RevocationIds.specs
, Roundtrip.specs
, Verification.specs
, ScopedExecutor.specs
, sampleReader
]