Lines Matching full:inconsistencies
183 the formation of cycles of locks. Detecting such inconsistencies is