Lines Matching refs:input_file
36 static FILE *input_file; /* Input file name */
98 if (!input_file) {
128 tmp = fgets(buf, ARRAY_SIZE(buf), input_file);
129 if (tmp == NULL || feof(input_file))
145 if (input_file)
178 input_file = stdin;
180 input_file = fopen(optarg, "r");
181 if (!input_file)
208 if (set_seed && input_file)
212 if (!input_file) {
260 (input_file) ? "given" : "random",