Add file system persistence tests:

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

diff --git a/src/tests/filesys/extended/grow-create.ck b/src/tests/filesys/extended/grow-create.ck
index 54d7f6ce166e22050d1497001cbe5cd4e30e2bd6..c20ca4c34aaae267f4c9f309e49f40e035353711 100644 (file)
--- a/src/tests/filesys/extended/grow-create.ck
+++ b/src/tests/filesys/extended/grow-create.ck
@@ -10,3 +10,5 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-create) close "blargle"
 (grow-create) end
 EOF
+check_archive ({"blargle" => ['']});
+pass;