[pintos-anon] / grading / userprog / wait-twice.exp

(wait-twice) begin
(child-simple) run
child-simple: exit(81)
(wait-twice) wait(exec()) = 81
(wait-twice) end
wait-twice: exit(0)