Add file system persistence tests:

[pintos-anon] / src / tests / filesys / base / syn-remove.ck

diff --git a/src/tests/filesys/base/syn-remove.ck b/src/tests/filesys/base/syn-remove.ck
index 79a5cb7a9bf6ebaa1f2a55fd094f375e1977e4e3..16ff11e550451ec5e4041d4bf82d1a5367cfcbfe 100644 (file)
--- a/src/tests/filesys/base/syn-remove.ck
+++ b/src/tests/filesys/base/syn-remove.ck
@@ -13,3 +13,4 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (syn-remove) close "deleteme"
 (syn-remove) end
 EOF
+pass;