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

/freebsd-13-stable/contrib/kyua/utils/
H A Dsanity_fwd.hpp43 invariant, enumerator in enum:utils::assert_type
H A Dsanity.hpp85 /// Ensures that an invariant holds.
87 /// If the invariant does not hold, execution is immediately terminated. The
94 /// \param expr A boolean expression describing the invariant.
95 #define INV(expr) _UTILS_ASSERT(utils::invariant, expr, #expr)
98 /// Ensures that an invariant holds using a custom error message.
100 /// If the invariant does not hold, execution is immediately terminated. The
103 /// \param expr A boolean expression describing the invariant.
105 #define INV_MSG(expr, msg) _UTILS_ASSERT(utils::invariant, expr, msg)
H A Dsanity.cpp140 case utils::invariant: return "Invariant check failed";
/freebsd-13-stable/contrib/subversion/subversion/libsvn_wc/
H A Dwc-metadata.sql385 destination. This invariant must be maintained by operations which

Completed in 65 milliseconds