Lines Matching full:coverage_log
2600 static FILE* coverage_log = NULL;2606 coverage_log = fopen(file_name, "aw+");2616 if (coverage_log != NULL) {2617 fprintf(coverage_log, "%s\n", file_line);2618 fflush(coverage_log);