Safe Haskell	None
Language	Haskell2010

Plutus.Contract.Test.Certification

Synopsis

Documentation

data Instance c m where Source #

Constructors

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.