<?php
require __DIR__ . '/../.quality/php-tools/vendor/autoload.php';
$coverage = null;
foreach (array_slice($argv, 1) as $file) {
    $part = unserialize(file_get_contents($file));
    if ($coverage === null) { $coverage = $part; } else { $coverage->merge($part); }
}
if ($coverage === null) { throw new RuntimeException('No PHP coverage collected'); }
(new SebastianBergmann\CodeCoverage\Report\Cobertura)->process($coverage, '.quality/php-coverage.xml');
$report = $coverage->getReport();
$total = $report->numberOfExecutableLines();
$covered = $report->numberOfExecutedLines();
echo "PHP coverage: $covered/$total executable lines\n";
exit($total > 0 && $covered / $total >= 0.8 ? 0 : 1);