if (!empty($phpVersion)) {
            if (!preg_match('/^'.preg_quote($phpVersion, '/').'(\D.*)?$/', PHP_VERSION)) {
                $output->writeln(
                    'Coverage ignored since PHP version ('.PHP_VERSION.')'.
                    ' does not match '.$phpVersion.'.'