Searched refs:postcondition (Results 1 - 2 of 2) sorted by relevance

/netbsd-current/external/bsd/kyua-cli/dist/utils/
H A Dsanity.hpp56 postcondition, enumerator in enum:utils::assert_type
141 /// Ensures that an postcondition holds.
143 /// If the postcondition does not hold, execution is immediately terminated.
150 /// \param expr A boolean expression describing the postcondition.
151 #define POST(expr) _UTILS_ASSERT(utils::postcondition, expr, #expr)
154 /// Ensures that a postcondition holds using a custom error message.
156 /// If the postcondition does not hold, execution is immediately terminated.
159 /// \param expr A boolean expression describing the postcondition.
161 #define POST_MSG(expr, msg) _UTILS_ASSERT(utils::postcondition, expr, msg)
H A Dsanity.cpp141 case utils::postcondition: return "Postcondition check failed";

Completed in 369 milliseconds