Searched defs:CMgr (Results 1 – 4 of 4) sorted by relevance
137 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local
327 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex() local
1872 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local3132 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3143 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local
308 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local1166 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local