getPathName(); $data = eval('return ' . file_get_contents($filename) . ';'); unset($filename); foreach ($data as $filename => $lines) { if (!isset($coverage[$filename])) { $coverage[$filename] = $lines; } else { foreach ($lines as $line => $flag) { if (!isset($coverage[$filename][$line]) || $flag > $coverage[$filename][$line]) { $coverage[$filename][$line] = $flag; } } } } } var_export($coverage); } ?>