Output coverage file