Lines Matching refs:input_file
40 static FILE *input_file; /* Input file name */
102 if (!input_file) {
132 tmp = fgets(buf, ARRAY_SIZE(buf), input_file);
133 if (tmp == NULL || feof(input_file))
149 if (input_file)
182 input_file = stdin;
184 input_file = fopen(optarg, "r");
185 if (!input_file)
212 if (set_seed && input_file)
216 if (!input_file) {
264 (input_file) ? "given" : "random",