pintos-os.org Git - pintos-anon/blob - src/tests/filesys/extended/grow-two-files.ck

   1 # -*- perl -*-
   2 use strict;
   3 use warnings;
   4 use tests::tests;
   5 use tests::random;
   6 check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
   7 (grow-two-files) begin
   8 (grow-two-files) create "a"
   9 (grow-two-files) create "b"
  10 (grow-two-files) open "a"
  11 (grow-two-files) open "b"
  12 (grow-two-files) write "a" and "b" alternately
  13 (grow-two-files) close "a"
  14 (grow-two-files) close "b"
  15 (grow-two-files) open "a" for verification
  16 (grow-two-files) verified contents of "a"
  17 (grow-two-files) close "a"
  18 (grow-two-files) open "b" for verification
  19 (grow-two-files) verified contents of "b"
  20 (grow-two-files) close "b"
  21 (grow-two-files) end
  22 EOF
  23 my ($a) = random_bytes (8143);
  24 my ($b) = random_bytes (8143);
  25 check_archive ({"a" => [$a], "b" => [$b]});
  26 pass;