Add file system persistence tests:

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

diff --git a/src/tests/filesys/extended/dir-open.ck b/src/tests/filesys/extended/dir-open.ck
index e16e9a0285b4398d43366761bf83e73a8234487b..01eccbafa22f241a10bfd83b8a3133e83e2047a2 100644 (file)
--- a/src/tests/filesys/extended/dir-open.ck
+++ b/src/tests/filesys/extended/dir-open.ck
@@ -17,3 +17,5 @@ EOF
 (dir-open) write "xyzzy"
 dir-open: exit(-1)
 EOF
+check_archive ({"xyzzy" => {}});
+pass;