pintos-os.org Git - pintos-anon/blob - grading/filesys/syn-read.exp

   1 (syn-read) begin
   2 (syn-read) create "data"
   3 (syn-read) open "data"
   4 (syn-read) write "data"
   5 (syn-read) close "data"
   6 (syn-read) exec child 1 of 10: "child-syn-read 0"
   7 (syn-read) exec child 2 of 10: "child-syn-read 1"
   8 (syn-read) exec child 3 of 10: "child-syn-read 2"
   9 (syn-read) exec child 4 of 10: "child-syn-read 3"
  10 (syn-read) exec child 5 of 10: "child-syn-read 4"
  11 (syn-read) exec child 6 of 10: "child-syn-read 5"
  12 (syn-read) exec child 7 of 10: "child-syn-read 6"
  13 (syn-read) exec child 8 of 10: "child-syn-read 7"
  14 (syn-read) exec child 9 of 10: "child-syn-read 8"
  15 (syn-read) exec child 10 of 10: "child-syn-read 9"
  16 (syn-read) wait for child 1 of 10 returned 0 (expected 0)
  17 (syn-read) wait for child 2 of 10 returned 1 (expected 1)
  18 (syn-read) wait for child 3 of 10 returned 2 (expected 2)
  19 (syn-read) wait for child 4 of 10 returned 3 (expected 3)
  20 (syn-read) wait for child 5 of 10 returned 4 (expected 4)
  21 (syn-read) wait for child 6 of 10 returned 5 (expected 5)
  22 (syn-read) wait for child 7 of 10 returned 6 (expected 6)
  23 (syn-read) wait for child 8 of 10 returned 7 (expected 7)
  24 (syn-read) wait for child 9 of 10 returned 8 (expected 8)
  25 (syn-read) wait for child 10 of 10 returned 9 (expected 9)
  26 (syn-read) end