Searched refs:mc_set_inputfile (Results 1 – 3 of 3) sorted by relevance
88 void mc_set_inputfile (const char *);
57 mc_set_inputfile (const char *name) in mc_set_inputfile() function
1090 mc_set_inputfile (input_filename); in main()