pintos-os.org Git - pintos-anon/blob - grading/userprog/read-bad-fd.exp

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