Helper function to facilitate fgets() by Jean Sacren. */
| 76 | |
| 77 | /* Helper function to facilitate fgets() by Jean Sacren. */ |
| 78 | static void xfgets(char *str, int size, FILE *in) |
| 79 | { |
| 80 | if (!fgets(str, size, in)) |
| 81 | fprintf(stderr, "\nError in reading or end of file.\n"); |
| 82 | |
| 83 | if (!tty_stdio) |
| 84 | printf("%s", str); |
| 85 | } |
| 86 | |
| 87 | static void set_randconfig_seed(void) |
| 88 | { |
no outgoing calls
no test coverage detected