pintos-os.org Git - pintos-anon/blob - grading/userprog/wait-bad-pid.exp

   1 (wait-bad-pid) begin
   2 (wait-bad-pid) end
   3 wait-bad-pid: exit(0)
   4 --OR--
   5 (wait-bad-pid) begin
   6 wait-bad-pid: exit(-1)