Jump to letter: [
023479ABCDEFGHIJKLMNOPQRSTUVWXYZ
]
boost-contract - Run-time component of boost contract library
- Description:
Run-time support for boost contract library.
Contract programming for C++. 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, from Lorenzo Caminiti.
Packages