X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fmmap-overlap.c;h=668ae5f0f69fe163c6157c2c46d60f76749cd3bf;hb=2dc702a30822c4773989f3bf5bc730848c0f473c;hp=8a7a022320aa104b31d201844112299255cdde7b;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/vm/mmap-overlap.c b/src/tests/vm/mmap-overlap.c
index 8a7a022..668ae5f 100644
--- a/src/tests/vm/mmap-overlap.c
+++ b/src/tests/vm/mmap-overlap.c
@@ -1,3 +1,5 @@
+/* Verifies that overlapping memory mappings are disallowed. */
+
 #include <syscall.h>
 #include "tests/vm/sample.inc"
 #include "tests/lib.h"