Ticket #256: CoverageMerger.php.patch

File CoverageMerger.php.patch, 501 bytes (added by Joey Mazzarelli <mazzarelli@gmail.com>, 6 months ago)

Patch for CoverageMerger.php

  • CoverageMerger.php

    old new  
    114114                                         
    115115                                        $coverageMerged = CoverageMerger::mergeCodeCoverage($left, $right); 
    116116                                         
     117          foreach ($coverageMerged as $key => $value) { 
     118            if ($value == -2) { 
     119              unset($coverageMerged[$key]); 
     120            } 
     121          } 
    117122                                        $file['coverage'] = $coverageMerged; 
    118123                                         
    119124                                        $props->setProperty($filename, serialize($file));