|
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++
03
|
No description provide for this version. |
| No description provide for this version. |
|
Stacktrace
|
C++
03
|
No description provide for this version. |
| No description provide for this version. |
|
Static Assert
|
C++
03
|
No description provide for this version. |
| No description provide for this version. |
|
Test
|
C++
03
|
No description provide for this version. |
| No description provide for this version. |
