v3 flag enabled

Find a battle-tested library for the problem you're solving right now.

Excited Cartoon Mascot Excited Cartoon Mascot
Assert

Customizable assert macros.

C++ 03
Concept Check

Tools for generic programming.

C++ 03
Contract

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.

Correctness C++ 03
C++ 03
Safe Numerics

Guaranteed Correct Integer Arithmetic

Math Correctness C++ 14
C++ 14
Stacktrace

Gather, store, copy and print backtraces.

C++ 11
Static Assert

Static assertions (compile time assertions).

C++ 03
Test

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

Correctness C++ 11
C++ 11