Searched refs:set_postcondition_failure (Results 1 – 21 of 21) sorted by relevance
63 boost::contract::set_postcondition_failure([] (boost::contract::from) in disable_post_failure()92 boost::contract::set_postcondition_failure( in disable_failure()
45 boost::contract::set_postcondition_failure( in main()
35 boost::contract::set_postcondition_failure( in main()
40 boost::contract::set_postcondition_failure( in main()
71 boost::contract::set_postcondition_failure( in main()
72 boost::contract::set_postcondition_failure( in main()
73 boost::contract::set_postcondition_failure( in main()
105 boost::contract::set_postcondition_failure( in main()
93 boost::contract::set_postcondition_failure( in main()
91 boost::contract::set_postcondition_failure( in main()
95 boost::contract::set_postcondition_failure( in main()
103 boost::contract::set_postcondition_failure( in main()
100 boost::contract::set_postcondition_failure( in main()
96 boost::contract::set_postcondition_failure([&ok] (boost::contract::from) { in main()
83 boost::contract::set_postcondition_failure( in main()
92 boost::contract::set_postcondition_failure([&ok] (boost::contract::from) { in main()
99 boost::contract::set_postcondition_failure([&ok] (boost::contract::from) { in main()
69 boost/contract/set_postcondition_failure.html
583 inline from_failure_handler const& set_postcondition_failure( in set_postcondition_failure() function
469 * Postconditions: [funcref boost::contract::set_postcondition_failure].
354 …:contract::set_precondition_failure], [funcref boost::contract::set_postcondition_failure], [funcr…