Add file system persistence tests:

[pintos-anon] / src / tests / filesys / extended / dir-mkdir.ck

diff --git a/src/tests/filesys/extended/dir-mkdir.ck b/src/tests/filesys/extended/dir-mkdir.ck
index d4e062b30b5c911ce6e390a8a9a87c83d3a65613..7cde055dd5d1778e8f29916c1c3759ba1c241e1d 100644 (file)
--- a/src/tests/filesys/extended/dir-mkdir.ck
+++ b/src/tests/filesys/extended/dir-mkdir.ck
@@ -10,3 +10,5 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (dir-mkdir) open "b"
 (dir-mkdir) end
 EOF
+check_archive ({'a' => {'b' => ["\0" x 512]}});
+pass;