Add file system persistence tests:

[pintos-anon] / src / tests / userprog / open-null.ck

diff --git a/src/tests/userprog/open-null.ck b/src/tests/userprog/open-null.ck
index 92188b3c544e9773ea57818c3357212a8e92d7be..b4a3bcb4853b0908a52e2db38bde5e41938fbf24 100644 (file)
--- a/src/tests/userprog/open-null.ck
+++ b/src/tests/userprog/open-null.ck
@@ -10,3 +10,4 @@ EOF
 (open-null) begin
 open-null: exit(-1)
 EOF
+pass;