Expose coverage API to get filename to code coverage frequency
commitba58aa8a9fbfd57cd7d52470a0bb4c6ac8da99d6
authorOguz Ulgen <oulgen@fb.com>
Tue, 10 Jul 2018 05:45:49 +0000 (9 22:45 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Tue, 10 Jul 2018 05:58:02 +0000 (9 22:58 -0700)
tree6024d5731afd079e533283c80eab4dc699890522
parent41ac6f5cb3f6b2313dc908e52f7e32a3fe52ab7f
Expose coverage API to get filename to code coverage frequency

Summary:
This diff introduces another APIs to coverage mode

* `HH\disable_code_coverage_with_frequency` -- returns a mapping from filename to coverage number

Differential Revision: D8772955

fbshipit-source-id: a03216d04ef9c1859b51498db0b3eafe2bd020d6
hphp/doc/extension.new_functions
hphp/runtime/base/code-coverage.cpp
hphp/runtime/base/code-coverage.h
hphp/runtime/ext/fb/ext_fb.cpp
hphp/runtime/ext/fb/ext_fb.h
hphp/runtime/ext/fb/ext_fb.php
hphp/test/slow/ext_fb/coverage.php [new file with mode: 0644]
hphp/test/slow/ext_fb/coverage.php.expectf [new file with mode: 0644]
hphp/test/slow/ext_fb/coverage.php.norepo [new file with mode: 0644]
hphp/test/slow/ext_fb/coverage.php.onlyhackc [new file with mode: 0644]