Add file system persistence tests:

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

diff --git a/src/tests/userprog/args-none.ck b/src/tests/userprog/args-none.ck
index 9679fa088119ca92ec9e40cf2f39a591116243a1..146318e0c330cf7e65cb1dede2462251b60c8d37 100644 (file)
--- a/src/tests/userprog/args-none.ck
+++ b/src/tests/userprog/args-none.ck
@@ -10,3 +10,4 @@ check_expected ([<<'EOF']);
 (args) end
 args-none: exit(0)
 EOF
+pass;