X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fmulti-child-fd.exp;h=474ea91fad96fc49eac789aa293a652d46e9a3b9;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=57b2e12fa915a6c9409f9577801b65db16ff629d;hpb=bd7bad8e3881965f74070ce7b685fedbdaf8fb1c;p=pintos-anon diff --git a/grading/userprog/multi-child-fd.exp b/grading/userprog/multi-child-fd.exp index 57b2e12..474ea91 100644 --- a/grading/userprog/multi-child-fd.exp +++ b/grading/userprog/multi-child-fd.exp @@ -1,12 +1,12 @@ (multi-child-fd) begin (child-close) success child-close: exit(0) -(multi-child-fd) join(exec()) = 0 +(multi-child-fd) wait(exec()) = 0 (multi-child-fd) end multi-child-fd: exit(0) --OR-- (multi-child-fd) begin child-close: exit(-1) -(multi-child-fd) join(exec()) = -1 +(multi-child-fd) wait(exec()) = -1 (multi-child-fd) end multi-child-fd: exit(0)