Pacote: libboost-contract-dev (1.83.0.2 e outros)

Contract library for C++ - dev files (default version)

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.

This package is a dependency package, which depends on Debian's default Boost version (currently 1.83).

This page is also available in the following languages: