diff --git a/PHP/CodeCoverage/Report/Factory.php b/PHP/CodeCoverage/Report/Factory.php index e69c457bb..948301514 100644 --- a/PHP/CodeCoverage/Report/Factory.php +++ b/PHP/CodeCoverage/Report/Factory.php @@ -231,6 +231,7 @@ protected function reducePaths(&$files) // strip phar:// prefixes if (strpos($paths[$i], 'phar://') === 0) { $paths[$i] = substr($paths[$i], 7); + $paths[$i] = strtr($paths[$i], '/', DIRECTORY_SEPARATOR); } $paths[$i] = explode(DIRECTORY_SEPARATOR, $paths[$i]);