pintos-os.org Git - pintos-anon/blob - src/tests/filesys/extended/syn-rw.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 (syn-rw) begin
   8 (syn-rw) create "logfile"
   9 (syn-rw) open "logfile"
  10 (syn-rw) exec child 1 of 4: "child-syn-rw 0"
  11 (syn-rw) exec child 2 of 4: "child-syn-rw 1"
  12 (syn-rw) exec child 3 of 4: "child-syn-rw 2"
  13 (syn-rw) exec child 4 of 4: "child-syn-rw 3"
  14 (syn-rw) wait for child 1 of 4 returned 0 (expected 0)
  15 (syn-rw) wait for child 2 of 4 returned 1 (expected 1)
  16 (syn-rw) wait for child 3 of 4 returned 2 (expected 2)
  17 (syn-rw) wait for child 4 of 4 returned 3 (expected 3)
  18 (syn-rw) end
  19 EOF
  20 check_archive ({"child-syn-rw" => "tests/filesys/extended/child-syn-rw",
  21                 "logfile" => [random_bytes (8 * 512)]});
  22 pass;