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). Merged into Boost.Config.
Support for simple program testing, full unit testing, and for program execution monitoring.
No libraries match your search.
Try a shorter keyword, or check the spelling.