Searched refs:assert_invariant (Results 1 – 2 of 2) sorted by relevance
26 assert_require, assert_ensure, assert_insist, assert_invariant enumerator112 ((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \116 ((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \
64 case assert_invariant: in assertion_type_to_text()