Notice: Undefined variable: neverHappens in C:\Apache24\htdocs\xiaodu\bot-sdk-master\vendor\phpunit\php-code-coverage\tests\_files\source_without_ignore.php on line 2