Boost Master Library Documentation - Correctness and testing
Sort by:
Correctness and testing
- Assert
-
Customizable assert macros.
- Author(s)
- Peter Dimov
- First Release
- 1.27.0
- C++ Standard Minimum Level
- 03
- Categories
- Correctness and testing, Error handling and recovery
- Concept Check
-
Tools for generic programming.
- Author(s)
- Jeremy Siek
- First Release
- 1.19.0
- C++ Standard Minimum Level
- 03
- Categories
- Correctness and testing, Generic Programming
- 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.
- Author(s)
- Lorenzo Caminiti
- First Release
- 1.67.0
- Categories
- Correctness and testing
- Safe Numerics
-
Guaranteed Correct Integer Arithmetic
- Author(s)
- Robert Ramey
- First Release
- 1.69.0
- C++ Standard Minimum Level
- 14
- Categories
- Correctness and testing, Math and numerics
- Stacktrace
-
Gather, store, copy and print backtraces.
- Author(s)
- Antony Polukhin
- First Release
- 1.65.0
- C++ Standard Minimum Level
- 11
- Categories
- Correctness and testing, System
- Static Assert
-
Static assertions (compile time assertions).
- Author(s)
- John Maddock
- First Release
- 1.19.0
- C++ Standard Minimum Level
- 03
- Categories
- Correctness and testing, Generic Programming, Template Metaprogramming
- Test
-
Support for simple program testing, full unit testing, and for program execution monitoring.
- Author(s)
- Gennadiy Rozental and Raffi Enficiaud
- First Release
- 1.21.0
- C++ Standard Minimum Level
- 11
- Categories
- Correctness and testing
