Searched refs:BOOST_CONTRACT_CHECK_AXIOM (Results 1 – 4 of 4) sorted by relevance
15 BOOST_CONTRACT_CHECK_AXIOM( in main()18 BOOST_CONTRACT_CHECK_AXIOM(false); // Test always false, OK. in main()19 BOOST_CONTRACT_CHECK_AXIOM(no_impl()); // Test no implementation, OK. in main()
130 #define BOOST_CONTRACT_CHECK_AXIOM(cond) \ macro
28 BOOST_CONTRACT_CHECK_AXIOM.html
339 In addition, [macroref BOOST_CONTRACT_CHECK_AUDIT] and [macroref BOOST_CONTRACT_CHECK_AXIOM] are si…