Searched defs:useOut (Results 1 – 3 of 3) sorted by relevance
192 CHECKENABLE useOut = CHECKENABLE._default; // generate postcondition checks variable
170 CHECKENABLE useOut; // generate postcondition checks member
111 bool useOut; // generate postcondition checks member