Lines Matching refs:ATF_CHECK
46 #define ATF_CHECK(arg0) assert(arg0)
139 ATF_CHECK(fp != NULL);
141 ATF_CHECK(fclose(fp) == 0);
167 ATF_CHECK(fp != NULL);
173 ATF_CHECK(ftello(fp) == (off_t)0);
175 ATF_CHECK(fclose(fp) == 0);
194 ATF_CHECK(fp != NULL);
200 ATF_CHECK((unsigned char)buf[0] == 0x1);
201 ATF_CHECK(ftello(fp) == (off_t)0);
208 ATF_CHECK(fseeko(fp, (off_t)0, SEEK_END) == 0);
209 ATF_CHECK(ftello(fp) == (off_t)sizeof(buf));
211 ATF_CHECK(fclose(fp) == 0);
230 ATF_CHECK(fp != NULL);
236 ATF_CHECK(buf[0] == '\0');
237 ATF_CHECK(ftello(fp) == (off_t)0);
242 ATF_CHECK(fseeko(fp, (off_t)0, SEEK_END) == 0);
243 ATF_CHECK(ftello(fp) == (off_t)0);
245 ATF_CHECK(fclose(fp) == 0);
267 ATF_CHECK(fp != NULL);
269 ATF_CHECK((unsigned char)buf[0] == 0x1);
275 ATF_CHECK(ftello(fp) == (off_t)sizeof(buf));
284 ATF_CHECK(fseeko(fp, (off_t)0, SEEK_END) == 0);
285 ATF_CHECK(ftello(fp) == (off_t)sizeof(buf));
288 ATF_CHECK(fclose(fp) == 0);
310 ATF_CHECK(fp == NULL);
311 ATF_CHECK(errno == EINVAL);
315 ATF_CHECK(fp == NULL);
316 ATF_CHECK(errno == EINVAL);
336 ATF_CHECK(fp == NULL);
337 ATF_CHECK(errno == EINVAL);
366 ATF_CHECK(fp == NULL);
367 ATF_CHECK(errno == EINVAL);
395 ATF_CHECK(fp == NULL);
396 ATF_CHECK(errno == ENOMEM);
425 ATF_CHECK(fp != NULL);
431 ATF_CHECK(fseeko(fp, (off_t)0, SEEK_SET) == 0);
432 ATF_CHECK(ftello(fp) == (off_t)0);
436 ATF_CHECK(fseeko(fp, i, SEEK_SET) == 0);
437 ATF_CHECK(ftello(fp) == i);
440 ATF_CHECK(fseeko(fp, t->n + 1, SEEK_SET) == -1);
441 ATF_CHECK(ftello(fp) == t->n);
444 ATF_CHECK(fseeko(fp, (off_t)-1, SEEK_SET) == -1);
445 ATF_CHECK(ftello(fp) == t->n);
447 ATF_CHECK(fclose(fp) == 0);
476 ATF_CHECK(fp != NULL);
481 ATF_CHECK(ftello(fp) == (off_t)0);
484 ATF_CHECK(fseeko(fp, (off_t)0, SEEK_CUR) == 0);
485 ATF_CHECK(ftello(fp) == (off_t)0);
488 ATF_CHECK(fseeko(fp, (off_t)-1, SEEK_CUR) == -1);
489 ATF_CHECK(ftello(fp) == (off_t)0);
493 ATF_CHECK(fseeko(fp, (off_t)1, SEEK_CUR) == 0);
494 ATF_CHECK(ftello(fp) == i + 1);
498 ATF_CHECK(fseeko(fp, (off_t)1, SEEK_CUR) == -1);
499 ATF_CHECK(ftello(fp) == (off_t)t->n);
501 ATF_CHECK(fclose(fp) == 0);
527 ATF_CHECK(fp != NULL);
535 ATF_CHECK(fseeko(fp, (off_t)0, SEEK_CUR) == 0);
536 ATF_CHECK(ftello(fp) == len);
540 ATF_CHECK(fseeko(fp, (off_t)1, SEEK_CUR) == 0);
541 ATF_CHECK(ftello(fp) == len + i);
545 ATF_CHECK(fseeko(fp, (off_t)1, SEEK_CUR) == -1);
546 ATF_CHECK(ftello(fp) == (off_t)t->n);
550 ATF_CHECK(fseeko(fp, (off_t)-1, SEEK_CUR) == 0);
551 ATF_CHECK(ftello(fp) == (off_t)t->n - i);
555 ATF_CHECK(fseeko(fp, (off_t)-1, SEEK_CUR) == -1);
556 ATF_CHECK(ftello(fp) == (off_t)0);
561 ATF_CHECK(fclose(fp) == 0);
587 ATF_CHECK(fp != NULL);
593 ATF_CHECK(ftello(fp) == (off_t)0);
596 ATF_CHECK(fseeko(fp, (off_t)0, SEEK_END) == 0);
597 ATF_CHECK(ftello(fp) == len);
600 ATF_CHECK(fseeko(fp, rest + 1, SEEK_END) == -1);
601 ATF_CHECK(ftello(fp) == len);
604 ATF_CHECK(fseeko(fp, -(len + 1), SEEK_END) == -1);
605 ATF_CHECK(ftello(fp) == len);
609 ATF_CHECK(fseeko(fp, i, SEEK_END) == 0);
610 ATF_CHECK(ftello(fp) == len + i);
615 ATF_CHECK(fseeko(fp, -i, SEEK_END) == 0);
616 ATF_CHECK(ftello(fp) == len - i);
619 ATF_CHECK(fclose(fp) == 0);
643 ATF_CHECK(fp != NULL);
648 ATF_CHECK(ftello(fp) == (off_t)0);
649 ATF_CHECK(buf[0] == '\0');
652 ATF_CHECK(fseeko(fp, (off_t)0, SEEK_END) == 0);
653 ATF_CHECK(ftello(fp) == (off_t)0);
656 ATF_CHECK(fseeko(fp, (off_t)t->n + 1, SEEK_END) == -1);
657 ATF_CHECK(ftello(fp) == (off_t)0);
660 ATF_CHECK(fseeko(fp, -1, SEEK_END) == -1);
661 ATF_CHECK
665 ATF_CHECK(fseeko(fp, i, SEEK_END) == 0);
666 ATF_CHECK(ftello(fp) == i);
669 ATF_CHECK(fclose(fp) == 0);
695 ATF_CHECK(fp != NULL);
700 ATF_CHECK(ftello(fp) == len);
703 ATF_CHECK(fseeko(fp, 0, SEEK_END) == 0);
704 ATF_CHECK(ftello(fp) == len);
707 ATF_CHECK(fseeko(fp, rest + 1, SEEK_END) == -1);
708 ATF_CHECK(ftello(fp) == len);
711 ATF_CHECK(fseeko(fp, -(len + 1), SEEK_END) == -1);
712 ATF_CHECK(ftello(fp) == len);
716 ATF_CHECK(fseeko(fp, i, SEEK_END) == 0);
717 ATF_CHECK(ftello(fp) == len + i);
722 ATF_CHECK(fseeko(fp, -i, SEEK_END) == 0);
723 ATF_CHECK(ftello(fp) == len - i);
726 ATF_CHECK(fclose(fp) == 0);
761 ATF_CHECK(fp != NULL);
766 ATF_CHECK(ftello(fp) == (off_t)i);
767 ATF_CHECK(fgetc(fp) == buf0[i]);
768 ATF_CHECK(feof(fp) == 0);
769 ATF_CHECK(ftello(fp) == (off_t)i + 1);
771 ATF_CHECK(fgetc(fp) == EOF);
772 ATF_CHECK(feof(fp) != 0);
773 ATF_CHECK(ftello(fp) == (off_t)t->n);
774 ATF_CHECK(fclose(fp) == 0);
797 ATF_CHECK(fp != NULL);
801 ATF_CHECK(ftello(fp) == (off_t)0);
802 ATF_CHECK(fread(&buf1[0], 1, sizeof(buf1), fp) == (size_t)t->n);
803 ATF_CHECK(feof(fp) != 0);
804 ATF_CHECK(memcmp(&buf0[0], &buf1[0], t->n) == 0);
805 ATF_CHECK((unsigned char)buf1[t->n] == 0x1);
807 ATF_CHECK(fclose(fp) == 0);
834 ATF_CHECK(fp != NULL);
842 ATF_CHECK(ftello(fp) == (off_t)i);
843 ATF_CHECK(fgetc(fp) == buf[i]);
844 ATF_CHECK(feof(fp) == 0);
845 ATF_CHECK(ftello(fp) == (off_t)i + 1);
847 ATF_CHECK(fgetc(fp) == EOF);
848 ATF_CHECK(feof(fp) != 0);
849 ATF_CHECK(ftello(fp) == (off_t)t->n);
852 ATF_CHECK(ftello(fp) == (off_t)i);
853 ATF_CHECK(fgetc(fp) == buf[i]);
854 ATF_CHECK(feof(fp) == 0);
855 ATF_CHECK(ftello(fp) == (off_t)i + 1);
857 ATF_CHECK(fgetc(fp) == EOF);
858 ATF_CHECK(feof(fp) != 0);
859 ATF_CHECK(ftello(fp) == (off_t)t->n);
863 ATF_CHECK(fclose(fp) == 0);
888 ATF_CHECK(fp != NULL);
895 ATF_CHECK(ftello(fp) == (off_t)len);
896 ATF_CHECK(fread(&buf1[0], 1, sizeof(buf1), fp)
898 ATF_CHECK(feof(fp) != 0);
899 ATF_CHECK(!memcmp(&buf0[len], &buf1[0], t->n - len));
900 ATF_CHECK((unsigned char)buf1[t->n - len] == 0x1);
903 ATF_CHECK(ftello(fp) == (off_t)0);
904 ATF_CHECK(fread(&buf1[0], 1, sizeof(buf1), fp)
906 ATF_CHECK(feof(fp) != 0);
907 ATF_CHECK(!memcmp(&buf0[0], &buf1[0], t->n));
908 ATF_CHECK((unsigned char)buf1[t->n] == 0x1);
912 ATF_CHECK(fclose(fp) == 0);
949 ATF_CHECK(fp != NULL);
955 ATF_CHECK(ftello(fp) == (off_t)i);
956 ATF_CHECK(fputc(t->s[i], fp) == t->s[i]);
957 ATF_CHECK(buf[i] == t->s[i]);
958 ATF_CHECK(ftello(fp) == (off_t)i + 1);
959 ATF_CHECK(buf[i] == t->s[i]);
961 ATF_CHECK(buf[i + 1] == '\0');
966 ATF_CHECK(fputc(0x1, fp) == EOF);
970 ATF_CHECK(feof(fp) == 0);
973 ATF_CHECK(fputc('\0', fp) == '\0');
974 ATF_CHECK(ftello(fp) == (off_t)t->n + 1);
975 ATF_CHECK(feof(fp) == 0);
978 ATF_CHECK(fputc('\0', fp) == EOF);
979 ATF_CHECK(ftello(fp) == (off_t)t->n + 1);
982 ATF_CHECK(memcmp(&buf[0], t->s, t->n) == 0);
983 ATF_CHECK(buf[t->n] == '\0');
985 ATF_CHECK(fclose(fp) == 0);
1008 ATF_CHECK(fp != NULL);
1010 ATF_CHECK(fwrite(t->s, 1, t->n, fp) == (size_t)t->n);
1015 ATF_CHECK(buf[t->n] == '\0');
1018 ATF_CHECK(fwrite("\x1", 1, 1, fp) == 0);
1019 ATF_CHECK(ftello(fp) == (off_t)t->n);
1020 ATF_CHECK(feof(fp) == 0);
1024 ATF_CHECK(fwrite("\x0", 1, 1, fp) == 1);
1025 ATF_CHECK(ftello(fp) == (off_t)t->n + 1);
1026 ATF_CHECK(feof(fp) == 0);
1029 ATF_CHECK(fputc('\0', fp) == EOF);
1030 ATF_CHECK(ftello(fp) == (off_t)t->n + 1);
1033 ATF_CHECK(memcmp(&buf[0], t->s, t->n) == 0);
1034 ATF_CHECK(buf[t->n] == '\0');
1036 ATF_CHECK(fclose(fp) == 0);
1059 ATF_CHECK(fp != NULL);
1066 ATF_CHECK(ftello(fp) == (off_t)i);
1067 ATF_CHECK(fputc(t->s[i - len], fp)
1069 ATF_CHECK(buf[i] == t->s[i - len]);
1070 ATF_CHECK(ftello(fp) == (off_t)i + 1);
1072 ATF_CHECK(buf[i + 1] == '\0');
1077 ATF_CHECK(ftello(fp) == (off_t)t->n - 1);
1078 ATF_CHECK(fputc(0x1, fp) == EOF);
1079 ATF_CHECK(ftello(fp) == (off_t)t->n - 1);
1082 ATF_CHECK(ftello(fp) == (off_t)t->n - 1);
1083 ATF_CHECK(fputc('\0', fp) == '\0');
1084 ATF_CHECK(ftello(fp) == (off_t)t->n);
1088 ATF_CHECK(ftello(fp) == (off_t)t->n);
1089 ATF_CHECK(fputc('\0', fp) == EOF);
1090 ATF_CHECK(ftello(fp) == (off_t)t->n);
1092 ATF_CHECK(fclose(fp) == 0);
1118 ATF_CHECK(fp != NULL);
1126 ATF_CHECK(fwrite(t1->s, 1, t1->n, fp)
1128 ATF_CHECK(ftell(fp) == t1->n);
1130 ATF_CHECK(fwrite(t1->s, 1, t1->n, fp)
1132 ATF_CHECK(ftell(fp) == t1->n - 1);
1135 ATF_CHECK(fclose(fp) == 0);