Lines Matching refs:coverage_log
2077 static FILE* coverage_log = NULL;2083 coverage_log = fopen(file_name, "aw+");2093 if (coverage_log != NULL) {2094 fprintf(coverage_log, "%s\n", file_line);2095 fflush(coverage_log);