Lines Matching full:coverage_log
114 static FILE* coverage_log = NULL;120 coverage_log = fopen(file_name, "aw+");140 if (coverage_log != NULL) {141 fprintf(coverage_log, "%s\n", str);142 fflush(coverage_log);