function main() { echo "About to enable\n"; doenable(); echo "Done enabling\n"; f(); $r = fb_disable_code_coverage(); var_dump($r); }
function main() { echo "About to enable\n"; doenable(); echo "Done enabling\n"; f(); $r = fb_disable_code_coverage(); unset($r['systemlib.phpfb']); var_dump($r); }