Bug report

Note: this didn't happen for me but for my colleague who showed it to me and I saw it happen on his PC twice.

The issue is this. First PHPStan analysis works normally until it reaches

 1760/1760 [▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓] 100%

After that, it doesn't stop, stays at 100% and both of the numbers keep increasing: 1780/1780, 1800/1800 and so on.

We had to revert PHPStan to 0.12.12 to avoid this.