Searched refs:get_postcondition_failure (Results 1 – 2 of 2) sorted by relevance
70 boost/contract/get_postcondition_failure.html
605 inline from_failure_handler get_postcondition_failure() in get_postcondition_failure() function