Add file system persistence tests:

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

diff --git a/src/tests/userprog/wait-killed.ck b/src/tests/userprog/wait-killed.ck
index 6bc5c2096ccbc8ecdf1b161081f30d5a7a0aff8b..5df0e9c1330f5376e41241fe63a98692820d9bd2 100644 (file)
--- a/src/tests/userprog/wait-killed.ck
+++ b/src/tests/userprog/wait-killed.ck
@@ -10,3 +10,4 @@ child-bad: exit(-1)
 (wait-killed) end
 wait-killed: exit(0)
 EOF
+pass;