includeDirectory('../../dir2cast.php'); if(isset($_SERVER['PATH_COVERAGE']) && $_SERVER['PATH_COVERAGE'] != '') { $selector = (new Selector)->forLineAndPathCoverage($filter); } else { $selector = (new Selector)->forLineCoverage($filter); } $coverage = new CodeCoverage( $selector, $filter ); $coverage->start(''); define('NO_DISPATCHER', true); require_once('../../dir2cast.php'); $return = main($argv); $coverage->stop(); $suffix=0; while(file_exists("/tmp/cov-$suffix")) { $suffix++; } file_put_contents("/tmp/cov-$suffix", serialize($coverage)); exit($return);