Storing per-file coverage data