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., terminate or throw), optional compilation and checking of assertions, etc.

About Boost.Contract

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

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