X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fbase%2Fsyn-remove.c;h=c9ba1109e316c23f1c73211a760c30d770735dd3;hb=60208708f25db2a66d7ccbe47af83b04da459fdb;hp=7f0cb61e96805c681781e511947c8ca148ec3d0a;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/filesys/base/syn-remove.c b/src/tests/filesys/base/syn-remove.c
index 7f0cb61..c9ba110 100644
--- a/src/tests/filesys/base/syn-remove.c
+++ b/src/tests/filesys/base/syn-remove.c
@@ -1,3 +1,6 @@
+/* Verifies that a deleted file may still be written to and read
+   from. */
+
 #include <random.h>
 #include <string.h>
 #include <syscall.h>
@@ -10,18 +13,18 @@ char buf2[1234];
 void
 test_main (void) 
 {
-  const char *filename = "deleteme";
+  const char *file_name = "deleteme";
   int fd;
   
-  CHECK (create (filename, sizeof buf1), "create \"%s\"", filename);
-  CHECK ((fd = open (filename)) > 1, "open \"%s\"", filename);
-  CHECK (remove (filename), "remove \"%s\"", filename);
+  CHECK (create (file_name, sizeof buf1), "create \"%s\"", file_name);
+  CHECK ((fd = open (file_name)) > 1, "open \"%s\"", file_name);
+  CHECK (remove (file_name), "remove \"%s\"", file_name);
   random_bytes (buf1, sizeof buf1);
-  CHECK (write (fd, buf1, sizeof buf1) > 0, "write \"%s\"", filename);
-  msg ("seek \"%s\" to 0", filename);
+  CHECK (write (fd, buf1, sizeof buf1) > 0, "write \"%s\"", file_name);
+  msg ("seek \"%s\" to 0", file_name);
   seek (fd, 0);
-  CHECK (read (fd, buf2, sizeof buf2) > 0, "read \"%s\"", filename);
-  compare_bytes (buf2, buf1, sizeof buf1, 0, filename);
-  msg ("close \"%s\"", filename);
+  CHECK (read (fd, buf2, sizeof buf2) > 0, "read \"%s\"", file_name);
+  compare_bytes (buf2, buf1, sizeof buf1, 0, file_name);
+  msg ("close \"%s\"", file_name);
   close (fd);
 }