Add file system persistence tests:

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

diff --git a/src/tests/filesys/extended/grow-root-lg.ck b/src/tests/filesys/extended/grow-root-lg.ck
index d44b244eed2268d8c48373fe501e1729359506cf..2affdddddc2e639156b231820f7e01f6ae9b2fb4 100644 (file)
--- a/src/tests/filesys/extended/grow-root-lg.ck
+++ b/src/tests/filesys/extended/grow-root-lg.ck
@@ -2,6 +2,7 @@
 use strict;
 use warnings;
 use tests::tests;
+use tests::random;
 check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-root-lg) begin
 (grow-root-lg) creating and checking "file0"
@@ -56,3 +57,7 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-root-lg) creating and checking "file49"
 (grow-root-lg) end
 EOF
+my ($fs);
+$fs->{"file$_"} = [random_bytes (512)] foreach 0...49;
+check_archive ($fs);
+pass;