X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fwrite-zero.c;h=d8dac9bc1058c8378e638214403e30ca50d66aa1;hb=HEAD;hp=4634e5bf1cde47cd0b9883fab0596f69cf9c6db4;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/userprog/write-zero.c b/src/tests/userprog/write-zero.c
index 4634e5b..d8dac9b 100644
--- a/src/tests/userprog/write-zero.c
+++ b/src/tests/userprog/write-zero.c
@@ -1,3 +1,6 @@
+/* Try a 0-byte write, which should return 0 without writing
+   anything. */
+
 #include <syscall.h>
 #include "tests/lib.h"
 #include "tests/main.h"