Searched refs:input_name (Results 1 – 1 of 1) sorted by relevance
121 const char * input_name = NULL; in main() local168 input_name = argv[0]; in main()170 error = readFile(input_name, &input, &input_size); in main()