random: Fix behavior of kernel option "-rs".

[pintos-anon] / src / tests / userprog / child-bad.c

diff --git a/src/tests/userprog/child-bad.c b/src/tests/userprog/child-bad.c
index 185617c2dfe45e6060fe0594aa3943875d1654a5..77d7a69d25013ffdd51aaa3290bfd228c9cb74af 100644 (file)
--- a/src/tests/userprog/child-bad.c
+++ b/src/tests/userprog/child-bad.c
@@ -1,3 +1,8 @@
+/* Child process run by wait-killed test.
+   Sets the stack pointer (%esp) to an invalid value and invokes
+   a system call, which should then terminate the process with a
+   -1 exit code. */
+
 #include "tests/lib.h"
 #include "tests/main.h"