This is an older version and was released in 2023. The current version is 1.86.0.
Correctness
| Assert | C++ 03 | Customizable assert macros. |
| Customizable assert macros. | ||
| Concept Check | C++ 03 | Tools for generic programming. |
| Tools for generic programming. | ||
| Contract | C++ 03 | 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. |
| 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. | ||
| Safe Numerics | C++ 14 | Guaranteed Correct Integer Arithmetic |
| Guaranteed Correct Integer Arithmetic | ||
| Stacktrace | C++ 11 | Gather, store, copy and print backtraces. |
| Gather, store, copy and print backtraces. | ||
| Static Assert | C++ 03 | Static assertions (compile time assertions). |
| Static assertions (compile time assertions). | ||
| Test | C++ 11 | Support for simple program testing, full unit testing, and for program execution monitoring. |
| Support for simple program testing, full unit testing, and for program execution monitoring. |