Searched defs:DBC_ENSURE (Results 1 – 1 of 1) sorted by relevance
36 #define DBC_ENSURE DBC_ASSERT /* Function Postcondition. */ macro42 #define DBC_ENSURE(exp) {} macro