BOOST_CONTRACT_NO_POSTCONDITIONS — If defined, this library does not check postconditions (undefined by default).
// In header: <boost/contract/core/config.hpp>
If this macro is defined, this library internal code is also optimized to reduce compile-time (not just run-time) overhead associated with checking postconditions. Users can manually program
#ifndef statements in their code using this macro to completely disable compilation of postconditions or use the macros defined in
boost/contract_macro.hpp (recommended only for applications where it is truly necessary to completely remove contract code compilation from production code).
It is necessary to disable both postconditions and exception guarantees defining
BOOST_CONTRACT_NO_EXCEPTS in order to disable old value copies (see