pintos-os.org Git - pintos-anon/blob - grading/userprog/exec-arg.exp

   1 (exec-arg) begin
   2 (child-arg) success
   3 child-arg: exit(0)
   4 (exec-arg) end
   5 exec-arg: exit(0)