X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fmmap-overlap.c;h=668ae5f0f69fe163c6157c2c46d60f76749cd3bf;hb=99eb1759eb5a6c39e5410f1c1d907648aa393b55;hp=8a7a022320aa104b31d201844112299255cdde7b;hpb=42a67e9ac6854ec56c35c82e1ad9c4e2c8662139;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"