Add file system persistence tests:

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

diff --git a/src/tests/userprog/rox-simple.ck b/src/tests/userprog/rox-simple.ck
index 67c31162df68bba25d52c90241628b2d720a5a0c..c9dcc663743cb3b1635e6e9c6b6813ed55ae08bd 100644 (file)
--- a/src/tests/userprog/rox-simple.ck
+++ b/src/tests/userprog/rox-simple.ck
@@ -10,3 +10,4 @@ check_expected ([<<'EOF']);
 (rox-simple) end
 rox-simple: exit(0)
 EOF
+pass;