TEST_NEGATIVE      57 user/uw-testbin/files1/files1.c   TEST_NEGATIVE(rc, "close f1 second time didn't fail");
TEST_NEGATIVE      82 user/uw-testbin/files2/files2.c   TEST_NEGATIVE(rc, "write to closed file f1 should fail");
TEST_NEGATIVE      90 user/uw-testbin/files2/files2.c   TEST_NEGATIVE(rc, "read from closed file f2 should fail");
TEST_NEGATIVE      97 user/uw-testbin/files2/files2.c   TEST_NEGATIVE(rc, "close on invalid file id didn't return error code");
TEST_NEGATIVE     104 user/uw-testbin/files2/files2.c   TEST_NEGATIVE(rc, "open non-existant file returns incorrect value");
TEST_NEGATIVE     116 user/uw-testbin/files2/files2.c   TEST_NEGATIVE(rc, "Trying to write to read only file does not fail");
TEST_NEGATIVE     128 user/uw-testbin/files2/files2.c   TEST_NEGATIVE(rc, "Trying to read from write only file does not fail");
TEST_NEGATIVE     151 user/uw-testbin/files2/files2.c     TEST_NEGATIVE(f1, "Opening too many files doesn't return error code");
TEST_NEGATIVE     169 user/uw-testbin/files2/files2.c   TEST_NEGATIVE(rc, "open file using bad address doesn't return error code");
TEST_NEGATIVE     217 user/uw-testbin/lib/testutils.c    TEST_NEGATIVE(-1, "Should pass\n");
TEST_NEGATIVE     218 user/uw-testbin/lib/testutils.c    TEST_NEGATIVE(0, "Should fail\n");
TEST_NEGATIVE     219 user/uw-testbin/lib/testutils.c    TEST_NEGATIVE(1, "Should fail\n");