Merge "Add support for coverage flushing."