* improved CoverageDumper and added unit test coverage