X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=grading%2Ffilesys%2Fsyn-write.exp;h=6ce5a42a1a9d55c1740dab8ce7e1b8b92825019c;hb=bf077c029772a067944ef777b3b6873bb4f2b9e9;hp=78ed9509fb6c833f3de9fd2f9998d5a4f3b4082e;hpb=c36e5b768f46fc098377b9a70d2b1c02405ef14a;p=pintos-anon diff --git a/grading/filesys/syn-write.exp b/grading/filesys/syn-write.exp index 78ed950..6ce5a42 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 -(syn-write) join child 2 of 10 -(syn-write) join child 3 of 10 -(syn-write) join child 4 of 10 -(syn-write) join child 5 of 10 -(syn-write) join child 6 of 10 -(syn-write) join child 7 of 10 -(syn-write) join child 8 of 10 -(syn-write) join child 9 of 10 -(syn-write) join child 10 of 10 +(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) open "stuff" (syn-write) read "stuff" (syn-write) end