X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fmmap-unmap.c;h=d35a79efc128c1a5be38cc13f0def7f0f953669e;hb=9f013d0930202eea99c21083b71098a0df64be0d;hp=9a6a173f36dc5284aef6d62bae5f75392aec041e;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/vm/mmap-unmap.c b/src/tests/vm/mmap-unmap.c
index 9a6a173..d35a79e 100644
--- a/src/tests/vm/mmap-unmap.c
+++ b/src/tests/vm/mmap-unmap.c
@@ -1,3 +1,6 @@
+/* Maps and unmaps a file and verifies that the mapped region is
+   inaccessible afterward. */
+
 #include <syscall.h>
 #include "tests/vm/sample.inc"
 #include "tests/lib.h"