Notice: Undefined variable: neverHappens in C:\xampp-2\htdocs\vendor\phpunit\php-code-coverage\tests\_files\source_with_ignore.php on line 0