HomeSort by: relevance | last modified time | path
    Searched refs:postcondition (Results 1 - 2 of 2) 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)
sanity.cpp 141 case utils::postcondition: return "Postcondition check failed";

Completed in 25 milliseconds