seafood/vendor/phpunit/php-code-cov.../scripts/auto_append....

<?php
$coverage->stop();

$writer = new PHP_CodeCoverage_Report_HTML;
$writer->process($coverage, '/tmp/coverage');