Searched defs:isOk (Results 1 – 3 of 3) sorted by relevance
20 let isOk = true; variable
96 bool isOk = true; in ScopeEncloseVariable() local
212 auto isOk = true; in Postcondition() local