Searched refs:DBC_Ensure (Results 1 – 1 of 1) sorted by relevance
58 #define DBC_Ensure DBC_Assert /* Function Postcondition. */ macro64 #define DBC_Ensure(exp)