Add file system persistence tests:

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

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