Contract library for C++ This package forms part of the Boost C++ Libraries collection. . All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.
Version History
Packages are not hosted on our server, they could be protected or unavailable.
