morley-upgradeable-0.3: Upgradeability infrastructure based on Morley.

Safe Haskell	None
Language	Haskell2010

Lorentz.Contracts.Upgradeable.Test

Contents

Test predicates
Individual test predicates

Synopsis

testUpgradeableContractDoc :: [DocTest]
testSingleVersion :: DocTest

Test predicates

testUpgradeableContractDoc :: [DocTest] Source #

Test all properties of upgradeable contract.

Individual test predicates

testSingleVersion :: DocTest Source #

Check that contract documentation mentions version only once.