Design by contract for Go
Design by Contract is a programming methodology which binds the caller and the function called to a contract. The contract is represented using Hoare Triple: {P} C {Q} where {P} is the precondition before executing command C, and {Q} is the postcondition. This package contains the source code needed for building packages that reference the following Go import paths: – github.com/lpabon/godbc
Release | Stable | Testing |
---|---|---|
Fedora 37 | 1.0.1-19.20190602git9577782.fc37 | - |
You can contact the maintainers of this package via email at
golang-github-lpabon-godbc dash maintainers at fedoraproject dot org
.