Add file system persistence tests:

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

diff --git a/src/tests/userprog/args-single.ck b/src/tests/userprog/args-single.ck
index aeca3582b73a07f2afdfc963592ece8038524318..24582b4da4b7e8d8ca00968cbe4986c4fe21a0ad 100644 (file)
--- a/src/tests/userprog/args-single.ck
+++ b/src/tests/userprog/args-single.ck
@@ -11,3 +11,4 @@ check_expected ([<<'EOF']);
 (args) end
 args-single: exit(0)
 EOF
+pass;