| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Lorentz.Test.Doc
Description
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