Searched defs:dump_fout (Results 1 – 2 of 2) sorted by relevance
4076 FILE *dump_fout = NULL; in run_checkers() local
5869 FILE *dump_fout = NULL; in run_checkers() local