Safe Haskell | None |
---|---|
Language | Haskell2010 |
Testing predicates for documentation of Lorentz contracts.
Synopsis
Test predicates
testLorentzDoc :: [DocTest] Source #
Tests all properties.
Individual test predicates
testDeclaresParameter :: DocTest Source #
Check that contract documents its parameter.
testEachEntrypointIsDescribed :: DocTest Source #
It's a common issue to forget to describe an entrypoint.
module Michelson.Doc.Test