This is an older version and was released in 2023. The current version is 1.86.0.
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.
C++
03
Static assertions (compile time assertions).
C++
03
Support for simple program testing, full unit testing, and for program execution monitoring.
C++
11