golang-github-lpabon-godbc-dev - 1.0+git20140613.1.9577782-1.1 main

Design-by-contract is an approach for designing software where the
programmer defines a formal, precise and verifiable interface
specification for software components.
.
The godbc library implements the design-by-contract methodology using
pre- and post-condition assertion methods.