X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Ftests%2Fvm%2Fmmap-over-code.c;h=d3619a3ecc6b2048369b4020eec303545f11a7ad;hb=2f9044505b2103fb0f165341fcbeb3104289572e;hp=e64e449f1b6a341981d5bc10350cb2ffc7f3afb8;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;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>