Add file system persistence tests:

[pintos-anon] / src / tests / userprog / exec-arg.ck

diff --git a/src/tests/userprog/exec-arg.ck b/src/tests/userprog/exec-arg.ck
index bdedca650c117583e806c00ab68d8fbf95cc905d..b7533ed9d81499d33bf090c61dc75426ffc82266 100644 (file)
--- a/src/tests/userprog/exec-arg.ck
+++ b/src/tests/userprog/exec-arg.ck
@@ -14,3 +14,4 @@ child-args: exit(0)
 (exec-arg) end
 exec-arg: exit(0)
 EOF
+pass;