Lines Matching refs:summary_file
1205 const char *summary_file = NULL;1249 summary_file = str+1;1525 if(summary_file != NULL) {1526 FILE *summf = fopen(summary_file, "w");