These are the coverage files.