f1 23 user/uw-testbin/files1/files1.c int f1, f2;
f1 34 user/uw-testbin/files1/files1.c f1 = open("FILE1", O_RDWR | O_CREAT | O_TRUNC);
f1 35 user/uw-testbin/files1/files1.c TEST_POSITIVE(f1, "Unable to open FILE1");
f1 41 user/uw-testbin/files1/files1.c TEST_NOT_EQUAL(f1, f2, "fd f1 == f2");
f1 44 user/uw-testbin/files1/files1.c rc = write(f1, (char *) &i, sizeof(i));
f1 51 user/uw-testbin/files1/files1.c rc = close(f1);
f1 54 user/uw-testbin/files1/files1.c rc = close(f1);
f1 62 user/uw-testbin/files1/files1.c f1 = open("FILE1", O_RDONLY);
f1 63 user/uw-testbin/files1/files1.c TEST_POSITIVE(f1, "Unable to open FILE1, after Close");
f1 66 user/uw-testbin/files1/files1.c TEST_POSITIVE(f1, "Unable to open FILE2, after Close");
f1 68 user/uw-testbin/files1/files1.c TEST_NOT_EQUAL(f1, f2, "fd f1 == f2");
f1 70 user/uw-testbin/files1/files1.c rc = read(f1, (char *) &intbuf, sizeof(intbuf));
f1 40 user/uw-testbin/files2/files2.c int f1, f2, f3;
f1 59 user/uw-testbin/files2/files2.c f1 = open("FILE1", O_RDWR);
f1 60 user/uw-testbin/files2/files2.c TEST_POSITIVE(f1, "Unable to open FILE1 first time");
f1 69 user/uw-testbin/files2/files2.c TEST_NOT_EQUAL(f1, f2, "Using same fd for multiple opens f1 = f2");
f1 72 user/uw-testbin/files2/files2.c rc = close(f1);
f1 80 user/uw-testbin/files2/files2.c rc = write(f1, (char *) &i, sizeof(i));
f1 110 user/uw-testbin/files2/files2.c f1 = open("FILE1", O_RDONLY);
f1 111 user/uw-testbin/files2/files2.c TEST_POSITIVE(f1, "Unable to open FILE1");
f1 114 user/uw-testbin/files2/files2.c rc = write(f1, "hello", 5);
f1 123 user/uw-testbin/files2/files2.c TEST_POSITIVE(f1, "Unable to open FILE2");
f1 133 user/uw-testbin/files2/files2.c rc = close(f1);
f1 140 user/uw-testbin/files2/files2.c f1 = open("FILE1", O_RDWR);
f1 142 user/uw-testbin/files2/files2.c if (f1 >= 0) {
f1 143 user/uw-testbin/files2/files2.c fd_array[count] = f1;
f1 146 user/uw-testbin/files2/files2.c } while (f1 >= 0 && count < COUNT_LIMIT);
f1 151 user/uw-testbin/files2/files2.c TEST_NEGATIVE(f1, "Opening too many files doesn't return error code");