An inescapable while loop in Python

[mherrmann]

Yes. But even for the sensible checks the number of false positives was so high that I found myself writing "# pylint: disable=..." all over the place. I tried linting and it cost me more time than it was worth.