Add file system persistence tests:

[pintos-anon] / src / tests / filesys / extended / grow-sparse.ck

diff --git a/src/tests/filesys/extended/grow-sparse.ck b/src/tests/filesys/extended/grow-sparse.ck
index 2b2d950163c1b3bd721d79384805ec43fd636893..9c6315f796080eb4798642a46b0073405f08d3d6 100644 (file)
--- a/src/tests/filesys/extended/grow-sparse.ck
+++ b/src/tests/filesys/extended/grow-sparse.ck
@@ -14,3 +14,5 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-sparse) close "testfile"
 (grow-sparse) end
 EOF
+check_archive ({"testfile" => ["\0" x 76543]});
+pass;