Searched defs:file_out (Results 1 – 2 of 2) sorted by relevance
6957 FILE *file_out = fopen (err_temp, "a"); in run_attempt() local7015 insert_comments (const char *file_in, const char *file_out) in insert_comments()
7694 FILE *file_out = fopen (err_temp, "a"); in run_attempt() local7752 insert_comments (const char *file_in, const char *file_out) in insert_comments()