Created by: linzhp
The source files in the library
param were not added to the covered source, making coverSource.getCoveredSources()
returns empty. This PR fixed it.
This PR also makes Buck save the coverage profile when coverage_mode
is not null.