libboost-contract

[brief]

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

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.

Properties

Build Status

Branch Travis Appveyor Coverity Scan codecov.io Deps Docs Tests
master Build Status Build status Coverity Scan Build Status codecov Deps Documentation Enter the Matrix
develop Build Status Build status Coverity Scan Build Status codecov Deps Documentation Enter the Matrix

Directories

Name Purpose
build Build
doc Documentation
example Examples
include Header code
meta Integration with Boost
src Source code
test Unit tests

More Information

license BSL-1.0
project boost
url github.com/boostorg/contract
doc-url www.boost.org/doc/libs/1_83_0/libs/contract
topics C++Boost
4 Versions
version 1.83.0
repository https://pkg.cppget.org/1/stable
depends 16; libboost-any, libboost-assert, libboost-config, libboost-core, libboost-exception, libboost-function, libboost-function-types, libboost-mpl, libboost-optional, libboost-preprocessor, libboost-smart-ptr, libboost-static-assert, libboost-thread, libboost-type-traits, libboost-typeof, libboost-utility
version 1.81.0+1
repository https://pkg.cppget.org/1/stable
depends 16; libboost-any, libboost-assert, libboost-config, libboost-core, libboost-exception, libboost-function, libboost-function-types, libboost-mpl, libboost-optional, libboost-preprocessor, libboost-smart-ptr, libboost-static-assert, libboost-thread, libboost-type-traits, libboost-typeof, libboost-utility
version 1.78.0
repository https://pkg.cppget.org/1/stable
depends 16; libboost-any, libboost-assert, libboost-config, libboost-core, libboost-exception, libboost-function, libboost-function-types, libboost-mpl, libboost-optional, libboost-preprocessor, libboost-smart-ptr, libboost-static-assert, libboost-thread, libboost-type-traits, libboost-typeof, libboost-utility
version 1.77.0+1
repository https://pkg.cppget.org/1/stable
depends 16; libboost-any, libboost-assert, libboost-config, libboost-core, libboost-exception, libboost-function, libboost-function-types, libboost-mpl, libboost-optional, libboost-preprocessor, libboost-smart-ptr, libboost-static-assert, libboost-thread, libboost-type-traits, libboost-typeof, libboost-utility