Add explanatory comments to userprog tests.
[pintos-anon] / src / tests / userprog / read-zero.c
index db9d206d3dcee050b078757d26538e5feaab28fb..e441817d13f8b0c4f969d49489de95bb748b050d 100644 (file)
@@ -1,3 +1,6 @@
+/* Try a 0-byte read, which should return 0 without reading
+   anything. */
+
 #include <syscall.h>
 #include "tests/lib.h"
 #include "tests/main.h"