protected function hasCoverage($options) { $isFileFormat = isset($options['coverage-html']) || isset($options['coverage-clover']); $isPHP = isset($options['coverage-php']); return $isFileFormat && !$isPHP; }