BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION — Define this macro to not disable any assertion while checking other assertions (undefined by default).
// In header: <boost/contract/core/config.hpp> BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION
Not disabling assertions while checking other assertions can lead to infinite recursion in user code so by default this macro is not defined. (Defining this macro automatically implies that other assertion checking is disabled while checking preconditions as if
BOOST_CONTRACT_PRECONDITIONS_DISABLE_NO_ASSERTION was also defined.)