Notice: Undefined variable: neverHappens in /home/dghskpgov/public_html/procurement.dghskp.gov.pk/vendor/phpunit/php-code-coverage/tests/_files/source_with_ignore.php on line 2