Added support for coverage reporting.