Add file system persistence tests:

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

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