Correctness C++11
Added in 1.67.0

Boost.Contract

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., termina…

About Boost.Contract

Please check out the library's documentation to learn more.

Dependencies

No dependencies

Contributors: This Release


Documentation
⚠️ This library has no README.md or library-details.adoc; consider contributing one.
Join the Boost Developers Mailing List

Get the latest on releases, features, security patches, fixes and all major announcements.

All Contributors