Add file system persistence tests:

[pintos-anon] / src / tests / userprog / rox-child.ck

diff --git a/src/tests/userprog/rox-child.ck b/src/tests/userprog/rox-child.ck
index 29945751fcee8cc0bb7ce17d94fd9a10189b3158..e6363fb6104437513ed564e13a0842ae2afabf1b 100644 (file)
--- a/src/tests/userprog/rox-child.ck
+++ b/src/tests/userprog/rox-child.ck
@@ -17,3 +17,4 @@ child-rox: exit(12)
 (rox-child) end
 rox-child: exit(0)
 EOF
+pass;