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

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