HHVM.php Interfaces, Classes and Traits PHP_CodeCoverage_Driver_HHVM Driver for HHVM's code coverage functionality.