libboost-contract

[full]

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

... More
license BSL-1.0
project boost
url github.com/boostorg/contract
doc-url www.boost.org/doc/libs/1_77_0/libs/contract
topics C++Boost
1 Version
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