X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fmmap-zero.c;h=368b759d48e0d989253a145de2c55c3f7b6ad066;hb=2f9044505b2103fb0f165341fcbeb3104289572e;hp=8b399c4d7b34d0e3b4796905910955f956efa9ff;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/vm/mmap-zero.c b/src/tests/vm/mmap-zero.c
index 8b399c4..368b759 100644
--- a/src/tests/vm/mmap-zero.c
+++ b/src/tests/vm/mmap-zero.c
@@ -1,3 +1,8 @@
+/* Tries to map a zero-length file, which may or may not work but
+   should not terminate the process or crash.
+   Then dereferences the address that we tried to map,
+   and the process must be terminated with -1 exit code. */
+
 #include <syscall.h>
 #include "tests/lib.h"
 #include "tests/main.h"