Home
last modified time | relevance | path

Searched refs:_UTILS_ASSERT (Results 1 – 1 of 1) sorted by relevance

/freebsd/contrib/kyua/utils/
H A Dsanity.hpp75 # define _UTILS_ASSERT(type, expr, message) \ macro
81 # define _UTILS_ASSERT(type, expr, message) do {} while (0) macro
95 #define INV(expr) _UTILS_ASSERT(utils::invariant, expr, #expr)
105 #define INV_MSG(expr, msg) _UTILS_ASSERT(utils::invariant, expr, msg)
118 #define PRE(expr) _UTILS_ASSERT(utils::precondition, expr, #expr)
128 #define PRE_MSG(expr, msg) _UTILS_ASSERT(utils::precondition, expr, msg)
141 #define POST(expr) _UTILS_ASSERT(utils::postcondition, expr, #expr)
151 #define POST_MSG(expr, msg) _UTILS_ASSERT(utils::postcondition, expr, msg)