Safe Haskell	None
Language	Haskell2010

Plutus.Contract.Test.Certification

Synopsis

Documentation

data Instance c m where Source #

Constructors

Instance :: c m => Instance c m

A certification object specifies what tests should be run by the certify function.

Constructors

Fields

certCoverageIndex :: CoverageIndex

Coverage locations for on-chain test coverage.
certNoLockedFunds :: Maybe (NoLockedFundsProof m)
certNoLockedFundsLight :: Maybe (NoLockedFundsProofLight m)
certCrashTolerance :: Maybe ( Instance CrashTolerance m)

Contract model for testing robustness against off-chain code crashes.
certWhitelist :: Maybe Whitelist

List of allowed exceptions from on-chain code. Usually `Just defaultWhiteList `.
certUnitTests :: Maybe (CoverageRef -> TestTree )

Unit tests using Test.Tasty . See e.g. checkPredicateCoverage .
certDLTests :: [( String , DL m ())]

Unit tests using DL .