module Main
  ( main
  ) where

import Test.Hspec (hspec)

import qualified Test.CValConversion as CVal
import qualified Test.Interpreter as Interpreter
import qualified Test.Macro as Macro
import qualified Test.Morley.Runtime as Morley.Runtime
import qualified Test.Ext as Ext
import qualified Test.Parser as Parser
import qualified Test.Serialization.Aeson as Serialization.Aeson
import qualified Test.Tezos.Address as Tezos.Address
import qualified Test.Tezos.Crypto as Tezos.Crypto
import qualified Test.Typecheck as Typecheck
import qualified Test.ValConversion as Val

main :: IO ()
main = hspec $ do
  Parser.spec
  Macro.spec
  Typecheck.typeCheckSpec
  Ext.typeCheckHandlerSpec
  Ext.interpretHandlerSpec
  Interpreter.spec
  Tezos.Crypto.spec
  Tezos.Address.spec
  Morley.Runtime.spec
  Serialization.Aeson.spec
  Interpreter.spec
  Val.spec
  CVal.spec