X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Ftests%2Fvm%2Fmmap-over-code.c;h=d3619a3ecc6b2048369b4020eec303545f11a7ad;hb=253432b5b00e4f4392a1c95eff87fc4dfcfc8647;hp=e64e449f1b6a341981d5bc10350cb2ffc7f3afb8;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon

diff --git a/src/tests/vm/mmap-over-code.c b/src/tests/vm/mmap-over-code.c
index e64e449..d3619a3 100644
--- a/src/tests/vm/mmap-over-code.c
+++ b/src/tests/vm/mmap-over-code.c
@@ -1,3 +1,5 @@
+/* Verifies that mapping over the code segment is disallowed. */
+
 #include <stdint.h>
 #include <round.h>
 #include <syscall.h>