Add file system persistence tests:

[pintos-anon] / src / tests / userprog / args-dbl-space.ck

diff --git a/src/tests/userprog/args-dbl-space.ck b/src/tests/userprog/args-dbl-space.ck
index b0a32e02fe0ea48ede58f8ea499ea81f116b41f8..dfbcf4b878dc452455038e71a0406c8eac570a16 100644 (file)
--- a/src/tests/userprog/args-dbl-space.ck
+++ b/src/tests/userprog/args-dbl-space.ck
@@ -12,3 +12,4 @@ check_expected ([<<'EOF']);
 (args) end
 args-dbl-space: exit(0)
 EOF
+pass;