Add file system persistence tests:

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

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