Add file system persistence tests:

[pintos-anon] / src / tests / filesys / base / sm-full.ck

diff --git a/src/tests/filesys/base/sm-full.ck b/src/tests/filesys/base/sm-full.ck
index 6fa480579bf136cf9226e192767aba04b6afb950..2e0eb3676b3ac1961d17acabb4daa3fdc5ba8505 100644 (file)
--- a/src/tests/filesys/base/sm-full.ck
+++ b/src/tests/filesys/base/sm-full.ck
@@ -13,3 +13,4 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (sm-full) close "quux"
 (sm-full) end
 EOF
+pass;