Add file system persistence tests:

[pintos-anon] / src / tests / filesys / extended / syn-rw.ck

diff --git a/src/tests/filesys/extended/syn-rw.ck b/src/tests/filesys/extended/syn-rw.ck
index 41b6e8a4c49e4d428a39625df8e9a32de6a1f0f5..7a70299266e45982da330c50e1dd4ef040e52fd6 100644 (file)
--- a/src/tests/filesys/extended/syn-rw.ck
+++ b/src/tests/filesys/extended/syn-rw.ck
@@ -2,6 +2,7 @@
 use strict;
 use warnings;
 use tests::tests;
+use tests::random;
 check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (syn-rw) begin
 (syn-rw) create "logfile"
@@ -16,3 +17,6 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (syn-rw) wait for child 4 of 4 returned 3 (expected 3)
 (syn-rw) end
 EOF
+check_archive ({"child-syn-rw" => "tests/filesys/extended/child-syn-rw",
+               "logfile" => [random_bytes (8 * 512)]});
+pass;