boost
arrow_drop_down
List View
Grid View
Category View

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.

C++ 03

Guaranteed Correct Integer Arithmetic

C++ 14

Gather, store, copy and print backtraces.

Static assertions (compile time assertions).

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

C++ 11