v3 flag enabled
Latest 1.92.0.beta1 1.91.0 1.90.0 1.89.0 1.88.0 1.87.0 1.86.0 1.85.0 1.84.0 1.83.0 1.82.0 1.81.0 1.80.0 1.79.0 1.78.0 1.77.0 1.76.0 1.75.0 1.74.0 1.73.0 1.72.0 1.71.0 1.70.0 1.69.0 1.68.0 1.67.0 1.66.0 1.65.1 1.65.0 1.64.0 1.63.0 1.62.0 1.61.0 1.60.0 1.59.0 1.58.0 1.57.0 1.56.0 1.55.0 1.54.0 1.53.0 1.52.0 1.51.0 1.50.0 1.49.0 1.48.0 1.47.0 1.46.1 1.46.0 1.45.0 1.44.0 1.43.0 1.42.0 1.41.0 1.40.0 1.39.0 1.38.0 1.37.0 1.36.0 1.35.0 1.34.1 1.34.0 1.33.1 1.33.0 1.32.0 1.31.0 1.30.2 1.30.1 1.30.0 1.29.0 1.28.0 1.27.0 1.26.0 1.25.1-bgl 1.25.1 1.25.0 1.24.0 1.23.0 1.22.0 1.21.2 1.21.1 1.21.0 1.20.2 1.20.1 1.20.0 1.19.0 1.18.3 1.18.2 1.18.0 1.17.0 1.16.1
Log In
Latest 1.92.0.beta1 1.91.0 1.90.0 1.89.0 1.88.0 1.87.0 1.86.0 1.85.0 1.84.0 1.83.0 1.82.0 1.81.0 1.80.0 1.79.0 1.78.0 1.77.0 1.76.0 1.75.0 1.74.0 1.73.0 1.72.0 1.71.0 1.70.0 1.69.0 1.68.0 1.67.0 1.66.0 1.65.1 1.65.0 1.64.0 1.63.0 1.62.0 1.61.0 1.60.0 1.59.0 1.58.0 1.57.0 1.56.0 1.55.0 1.54.0 1.53.0 1.52.0 1.51.0 1.50.0 1.49.0 1.48.0 1.47.0 1.46.1 1.46.0 1.45.0 1.44.0 1.43.0 1.42.0 1.41.0 1.40.0 1.39.0 1.38.0 1.37.0 1.36.0 1.35.0 1.34.1 1.34.0 1.33.1 1.33.0 1.32.0 1.31.0 1.30.2 1.30.1 1.30.0 1.29.0 1.28.0 1.27.0 1.26.0 1.25.1-bgl 1.25.1 1.25.0 1.24.0 1.23.0 1.22.0 1.21.2 1.21.1 1.21.0 1.20.2 1.20.1 1.20.0 1.19.0 1.18.3 1.18.2 1.18.0 1.17.0 1.16.1
Log In
Correctness C++03
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.

Documentation Source code Discuss in Slack GitHub Issues

Quick Start

Dependencies

Any Assert Config Core Exception Function Function Types MPL Optional Preprocessor Smart Ptr Static Assert Thread Type Traits Typeof Utility

Contributors: This Release

Documentation

Boost.Contract

Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants (also static and volatile), postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, disable assertions while already checking other assertions (to avoid infinite recursion), etc.

License

Distributed under the Boost Software License, Version 1.0.

Latest Boost.Contract posts

View all posts
Join the Boost Developers Mailing List
Get the latest on releases, features, security patches, fixes and all major announcements.

All Contributors