X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fsyn-remove.c;h=a5fb86baf0a222ddefaacbceecc68cb6d4f20c8c;hb=51fe56156dc541c9fa74e0eb72e7cca1ddcec685;hp=e47456a610d6d253ef99e5754f45cdd9e1c3aec3;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/syn-remove.c b/grading/filesys/syn-remove.c
index e47456a..a5fb86b 100644
--- a/grading/filesys/syn-remove.c
+++ b/grading/filesys/syn-remove.c
@@ -14,15 +14,15 @@ test_main (void)
   const char *filename = "deleteme";
   int fd;
   
-  check (create (filename, 0), "create \"%s\"", filename);
-  check ((fd = open (filename)) > 1, "open \"%s\"", filename);
-  check (remove (filename), "remove \"%s\"", filename);
+  CHECK (create (filename, 0), "create \"%s\"", filename);
+  CHECK ((fd = open (filename)) > 1, "open \"%s\"", filename);
+  CHECK (remove (filename), "remove \"%s\"", filename);
   random_bytes (buf1, sizeof buf1);
-  check (write (fd, buf1, sizeof buf1) > 0, "write \"%s\"", filename);
+  CHECK (write (fd, buf1, sizeof buf1) > 0, "write \"%s\"", filename);
   msg ("seek \"%s\" to 0", filename);
   seek (fd, 0);
-  check (read (fd, buf2, sizeof buf2) > 0, "read \"%s\"", filename);
-  check (!memcmp (buf1, buf2, sizeof buf1), "compare data read and written");
+  CHECK (read (fd, buf2, sizeof buf2) > 0, "read \"%s\"", filename);
+  compare_bytes (buf2, buf1, sizeof buf1, 0, filename);
   msg ("close \"%s\"", filename);
   close (fd);
 }