Add file system persistence tests:

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

diff --git a/src/tests/userprog/open-empty.ck b/src/tests/userprog/open-empty.ck
index 5537d257f7843c2627408bb760dc4ef17fcdd6b0..885fb415cd84fdb2adb69c60fa65c2b50124b11b 100644 (file)
--- a/src/tests/userprog/open-empty.ck
+++ b/src/tests/userprog/open-empty.ck
@@ -7,3 +7,4 @@ check_expected ([<<'EOF']);
 (open-empty) end
 open-empty: exit(0)
 EOF
+pass;