| Home | Libraries | People | FAQ | More

## Macro BOOST_CONTRACT_NO_POSTCONDITIONS

BOOST_CONTRACT_NO_POSTCONDITIONS — If defined, this library does not check postconditions (undefined by default).

## Synopsis

    // In header: <boost/contract/core/config.hpp>

    BOOST_CONTRACT_NO_POSTCONDITIONS

## Description

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. In addition, 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_POSTCONDITIONS` and `BOOST_CONTRACT_NO_EXCEPTS` in order to disable old value copies (see `BOOST_CONTRACT_NO_OLDS`).

See Also: Postconditions, Disable Contract Checking, Disable Contract Compilation