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