Searched refs:assert_invariant (Results 1 – 1 of 1) sorted by relevance
28 assert_require, assert_ensure, assert_insist, assert_invariant enumerator121 ((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \125 ((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \