Chris@0: <?php
Chris@0: $coverage->stop();
Chris@0: 
Chris@0: $writer = new PHP_CodeCoverage_Report_HTML;
Chris@0: $writer->process($coverage, '/tmp/coverage');