Safe Haskell | None |
---|---|
Language | Haskell2010 |
Plutus.Contract.Test.Certification
Synopsis
- data Instance c m where
- data Certification m = Certification {
- certCoverageIndex :: CoverageIndex
- certNoLockedFunds :: Maybe (NoLockedFundsProof m)
- certNoLockedFundsLight :: Maybe (NoLockedFundsProofLight m)
- certCrashTolerance :: Maybe (Instance CrashTolerance m)
- certWhitelist :: Maybe Whitelist
- certUnitTests :: Maybe (CoverageRef -> TestTree)
- certDLTests :: [(String, DL m ())]
- defaultCertification :: Certification m
Documentation
data Certification m Source #
A certification object specifies what tests should be run by the
certify
function.
Constructors
Certification | |
Fields
|