Add file system persistence tests:

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

diff --git a/src/tests/filesys/extended/dir-under-file.ck b/src/tests/filesys/extended/dir-under-file.ck
index 8b5cffd624c80538cdf7bac3b4dace4b00e2ded3..8123d19b0d7d8d9a9f62aa6caae5d4624d7a868e 100644 (file)
--- a/src/tests/filesys/extended/dir-under-file.ck
+++ b/src/tests/filesys/extended/dir-under-file.ck
@@ -8,3 +8,5 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (dir-under-file) mkdir "abc" (must return false)
 (dir-under-file) end
 EOF
+check_archive ({"abc" => ['']});
+pass;