X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Frox-child.c;h=30afba25933d403c51de14af0be2311a78bd5b3d;hb=1f197c6861841bc0c27327c20b85e7b43b65affe;hp=257c4d9c1404779c5a443d737d4733019418c048;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/userprog/rox-child.c b/src/tests/userprog/rox-child.c
index 257c4d9..30afba2 100644
--- a/src/tests/userprog/rox-child.c
+++ b/src/tests/userprog/rox-child.c
@@ -1,2 +1,5 @@
+/* Ensure that the executable of a running process cannot be
+   modified, even by a child process. */
+
 #define CHILD_CNT "1"
 #include "tests/userprog/rox-child.inc"