Customizable assert macros.

Tools for generic programming.

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.

Guaranteed Correct Integer Arithmetic

Gather, store, copy and print backtraces.

Static assertions (compile time assertions).

Support for simple program testing, full unit testing, and for program execution monitoring.