X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fsyn-write.exp;h=e4d981600374d918fe9c1fb1791d1daafc6f7113;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=6ce5a42a1a9d55c1740dab8ce7e1b8b92825019c;hpb=f7329f3d75dd5db7fd1bde03ed3c8a13b285eb7e;p=pintos-anon diff --git a/grading/filesys/syn-write.exp b/grading/filesys/syn-write.exp index 6ce5a42..e4d9816 100644 --- a/grading/filesys/syn-write.exp +++ b/grading/filesys/syn-write.exp @@ -10,16 +10,16 @@ (syn-write) exec child 8 of 10: "child-syn-wrt 7" (syn-write) exec child 9 of 10: "child-syn-wrt 8" (syn-write) exec child 10 of 10: "child-syn-wrt 9" -(syn-write) join child 1 of 10 returned 0 (expected 0) -(syn-write) join child 2 of 10 returned 1 (expected 1) -(syn-write) join child 3 of 10 returned 2 (expected 2) -(syn-write) join child 4 of 10 returned 3 (expected 3) -(syn-write) join child 5 of 10 returned 4 (expected 4) -(syn-write) join child 6 of 10 returned 5 (expected 5) -(syn-write) join child 7 of 10 returned 6 (expected 6) -(syn-write) join child 8 of 10 returned 7 (expected 7) -(syn-write) join child 9 of 10 returned 8 (expected 8) -(syn-write) join child 10 of 10 returned 9 (expected 9) +(syn-write) wait for child 1 of 10 returned 0 (expected 0) +(syn-write) wait for child 2 of 10 returned 1 (expected 1) +(syn-write) wait for child 3 of 10 returned 2 (expected 2) +(syn-write) wait for child 4 of 10 returned 3 (expected 3) +(syn-write) wait for child 5 of 10 returned 4 (expected 4) +(syn-write) wait for child 6 of 10 returned 5 (expected 5) +(syn-write) wait for child 7 of 10 returned 6 (expected 6) +(syn-write) wait for child 8 of 10 returned 7 (expected 7) +(syn-write) wait for child 9 of 10 returned 8 (expected 8) +(syn-write) wait for child 10 of 10 returned 9 (expected 9) (syn-write) open "stuff" (syn-write) read "stuff" (syn-write) end