pintos-os.org Git - pintos-anon/blob - grading/userprog/multi-child-fd.exp

   1 (multi-child-fd) begin
   2 (child-close) success
   3 child-close: exit(0)
   4 (multi-child-fd) wait(exec()) = 0
   5 (multi-child-fd) end
   6 multi-child-fd: exit(0)
   7 --OR--
   8 (multi-child-fd) begin
   9 child-close: exit(-1)
  10 (multi-child-fd) wait(exec()) = -1
  11 (multi-child-fd) end
  12 multi-child-fd: exit(0)