Searched refs:StateWithLockEvent (Results 1 – 1 of 1) sorted by relevance
263 ProgramStateRef StateWithLockEvent = in handleLock() local265 C.addTransition(StateWithLockEvent, createCritSectionNote(MarkToAdd, C)); in handleLock()