Searched refs:postcondition (Results 1 – 6 of 6) sorted by relevance
28 postcondition() { function46 postcondition "$_desc no-readonly" "$_expect_success_post"51 postcondition "$_desc readonly" "$_expect_fail_post"66 postcondition "$_op no white/blacklists" "$_expect_success_post"71 postcondition "$_op whitelisted" "$_expect_success_post"76 postcondition "$_op blacklisted" "$_expect_fail_post"81 postcondition "$_op not in whitelist" "$_expect_fail_post"
141 #define POST(expr) _UTILS_ASSERT(utils::postcondition, expr, #expr)151 #define POST_MSG(expr, msg) _UTILS_ASSERT(utils::postcondition, expr, msg)
44 postcondition, enumerator
141 case utils::postcondition: return "Postcondition check failed"; in format_type()
763 - removed error log caused by rounding/slew, ensured postcondition <perlinger@ntp.org>4529 - removed error log caused by rounding/slew, ensured postcondition <perlinger@ntp.org>
491 - removed error log caused by rounding/slew, ensured postcondition <perlinger@ntp.org>