|
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. |
