Add file system persistence tests:

[pintos-anon] / src / tests / filesys / extended / grow-file-size.ck

diff --git a/src/tests/filesys/extended/grow-file-size.ck b/src/tests/filesys/extended/grow-file-size.ck
index 0a70837a27198f0691366a4c6799a01d2c5d740d..057bb2e3380d7ffea2917b82bfc0a68b8732563e 100644 (file)
--- a/src/tests/filesys/extended/grow-file-size.ck
+++ b/src/tests/filesys/extended/grow-file-size.ck
@@ -2,6 +2,7 @@
 use strict;
 use warnings;
 use tests::tests;
+use tests::random;
 check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-file-size) begin
 (grow-file-size) create "testfile"
@@ -13,3 +14,6 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-file-size) close "testfile"
 (grow-file-size) end
 EOF
+my ($string);
+check_archive ({"testfile" => [random_bytes (2134)]});
+pass;