X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Frox-multichild.c;h=8e74dab244d4405a320b4266ad6a1902a71f187d;hb=b3563c2ef34e52288c8cf7a68db0f7ae3b2f9b69;hp=602d767c3a3a02434c019bcec4411db3a5db90e4;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon

diff --git a/src/tests/userprog/rox-multichild.c b/src/tests/userprog/rox-multichild.c
index 602d767..8e74dab 100644
--- a/src/tests/userprog/rox-multichild.c
+++ b/src/tests/userprog/rox-multichild.c
@@ -1,2 +1,5 @@
+/* Ensure that the executable of a running process cannot be
+   modified, even in the presence of multiple children. */
+
 #define CHILD_CNT "5"
 #include "tests/userprog/rox-child.inc"