Lines Matching refs:coverage_log
72 static FILE* coverage_log = NULL;78 coverage_log = fopen(file_name, "aw+");98 if (coverage_log != NULL) {99 fprintf(coverage_log, "%s\n", msg);100 fflush(coverage_log);