Add file system persistence tests:

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

diff --git a/src/tests/filesys/extended/grow-seq-lg.ck b/src/tests/filesys/extended/grow-seq-lg.ck
index 659aeff543cbea942c95c5a942f574f3d1268137..6276c79712a6a38c857ffd63c30a20c1d4fabeba 100644 (file)
--- a/src/tests/filesys/extended/grow-seq-lg.ck
+++ b/src/tests/filesys/extended/grow-seq-lg.ck
@@ -2,6 +2,7 @@
 use strict;
 use warnings;
 use tests::tests;
+use tests::random;
 check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-seq-lg) begin
 (grow-seq-lg) create "testme"
@@ -13,3 +14,5 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-seq-lg) close "testme"
 (grow-seq-lg) end
 EOF
+check_archive ({"testme" => [random_bytes (72943)]});
+pass;