{-# OPTIONS_GHC -Wno-deprecations #-}
module Test.Cleveland.Michelson
(
specWithContract
, specWithTypedContract
, specWithUntypedContract
, testTreesWithContract
, testTreesWithUntypedContract
, testTreesWithTypedContract
, concatTestTrees
, importContract
, importSomeContract
, importUntypedContract
, ContractReturn
, ContractPropValidator
, contractProp
, contractPropVal
, validateSuccess
, validateStorageIs
, validateMichelsonFailsWith
, testContractCoversEntrypoints
, testContractMatchesEntrypoints
, failedTest
, succeededTest
, eitherIsLeft
, eitherIsRight
, meanTimeUpperBoundProp
, meanTimeUpperBoundPropNF
, mcs, ms, sec, minute
, runDocTests
, testDocBasic
, excludeDocTests
, dummyContractEnv
) where
import Test.Cleveland.Doc.Michelson
import Test.Cleveland.Michelson.Dummy
import Test.Cleveland.Michelson.Entrypoints
import Test.Cleveland.Michelson.Import
import Test.Cleveland.Michelson.Unit
import Test.Cleveland.Util