{-# LANGUAGE OverloadedStrings #-}
module Main (main) where

import Test.Hspec
import UtilsSpec
import DigestSpec
import DisclosureSpec
import SerializationSpec
import IssuanceSpec
import PresentationSpec
import VerificationSpec
import KeyBindingSpec
import JWTSpec
import RFCSpec
import PropertySpec
import EndToEndSpec
import DoctestSpec
import ExampleSpec
import InteropFailureAnalysisSpec

main :: IO ()
main = hspec $ do
  UtilsSpec.spec
  DigestSpec.spec
  DisclosureSpec.spec
  SerializationSpec.spec
  IssuanceSpec.spec
  PresentationSpec.spec
  VerificationSpec.spec
  KeyBindingSpec.spec
  JWTSpec.spec
  RFCSpec.spec
  PropertySpec.spec
  EndToEndSpec.spec
  DoctestSpec.spec
  ExampleSpec.spec
  InteropFailureAnalysisSpec.spec