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