added bad-jump/read/write bad-jump2/read2/write2 to check that process

[pintos-anon] / src / tests / userprog / wait-killed.c

diff --git a/src/tests/userprog/wait-killed.c b/src/tests/userprog/wait-killed.c
index bc1e9c720c32db6d9cbedc571ce3c9b82a14366d..6a2a6b52d1c82112e184f29c23b7fc0eec6e37df 100644 (file)
--- a/src/tests/userprog/wait-killed.c
+++ b/src/tests/userprog/wait-killed.c
@@ -1,3 +1,5 @@
+/* Wait for a process that will be killed for bad behavior. */
+
 #include <syscall.h>
 #include "tests/lib.h"
 #include "tests/main.h"