1234567891011121314151617181920212223242526272829 |
- #include <stdio.h>
- #include <stdlib.h>
- #include "test_helpers.h"
- int main(void) {
- FILE *f = fopen("stdio/stdio.in", "r");
- ERROR_IF(fopen, f, == NULL);
- int c = fgetc(f);
- ERROR_IF(fgetc, c, == EOF);
- UNEXP_IF(fgetc, c, < 0);
- UNEXP_IF(fgetc, c, > 255);
- printf("%c\n", c);
- int u = ungetc('J', f);
- ERROR_IF(ungetc, u, == EOF);
- char in[30] = { 0 };
- char *s = fgets(in, 30, f);
- ERROR_IF(fgets, s, == NULL);
- printf("%s\n", in);
- __attribute__((unused)) int vb = setvbuf(stdout, 0, _IONBF, 0);
- //ERROR_IF(setvbuf, vb, > 0); // TODO: Cannot use this, doesn't set errno
- //UNEXP_IF(setvbuf, vb, != 0);
- printf("Hello\n");
- }
|