HomeSort by: relevance | last modified time | path
    Searched defs:postcondition (Results 1 - 1 of 1) sorted by relevancy

  /src/external/bsd/kyua-cli/dist/utils/
sanity.hpp 56 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)

Completed in 21 milliseconds