Add file system persistence tests:

[pintos-anon] / src / tests / filesys / extended / grow-two-files.ck

diff --git a/src/tests/filesys/extended/grow-two-files.ck b/src/tests/filesys/extended/grow-two-files.ck
index d62d9fa0fd549a0ece2741ad01847cfdab2f54eb..b238d80f7fc0b182a6b5a3530ca4f712781f4704 100644 (file)
--- a/src/tests/filesys/extended/grow-two-files.ck
+++ b/src/tests/filesys/extended/grow-two-files.ck
@@ -2,6 +2,7 @@
 use strict;
 use warnings;
 use tests::tests;
+use tests::random;
 check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-two-files) begin
 (grow-two-files) create "a"
@@ -19,3 +20,7 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-two-files) close "b"
 (grow-two-files) end
 EOF
+my ($a) = random_bytes (8143);
+my ($b) = random_bytes (8143);
+check_archive ({"a" => [$a], "b" => [$b]});
+pass;