mirror of
https://github.com/boostorg/contract.git
synced 2026-02-02 08:42:15 +00:00
4e1a16d4693c66ccd3a424ce8257477f0bb1cd84
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 (terminate, throw, etc.), 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.
Description
Languages
C++
99.6%
Eiffel
0.1%
CMake
0.1%