Searched refs:DBC_Assert (Results 1 – 1 of 1) sorted by relevance
53 #define DBC_Assert( exp ) \ macro57 #define DBC_Require DBC_Assert /* Function Precondition. */58 #define DBC_Ensure DBC_Assert /* Function Postcondition. */62 #define DBC_Assert(exp)