X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Frox-child.c;h=30afba25933d403c51de14af0be2311a78bd5b3d;hb=9ae5d8b8a120054f577427a61a4adf371bc1612f;hp=257c4d9c1404779c5a443d737d4733019418c048;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;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"