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

/freebsd-13-stable/contrib/kyua/utils/
H A Dsanity_fwd.hpp44 postcondition, enumerator in enum:utils::assert_type
H A Dsanity.hpp131 /// Ensures that an postcondition holds.
133 /// If the postcondition does not hold, execution is immediately terminated.
140 /// \param expr A boolean expression describing the postcondition.
141 #define POST(expr) _UTILS_ASSERT(utils::postcondition, expr, #expr)
144 /// Ensures that a postcondition holds using a custom error message.
146 /// If the postcondition does not hold, execution is immediately terminated.
149 /// \param expr A boolean expression describing the postcondition.
151 #define POST_MSG(expr, msg) _UTILS_ASSERT(utils::postcondition, expr, msg)
H A Dsanity.cpp141 case utils::postcondition: return "Postcondition check failed";
/freebsd-13-stable/crypto/openssh/regress/
H A Dsftp-perm.sh28 postcondition() { function
32 ${TEST_SHELL} -c "$_check" || fail "postcondition check failed: $_title"
46 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"

Completed in 118 milliseconds