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

   1 (exec-missing) begin
   2 load: no-such-file: open failed
   3 (exec-missing) exec("no-such-file"): -1
   4 (exec-missing) end
   5 exec-missing: exit(0)
   6 --OR--
   7 (exec-missing) begin
   8 load: no-such-file: open failed
   9 no-such-file: exit(-1)
  10 (exec-missing) exec("no-such-file"): -1
  11 (exec-missing) end
  12 exec-missing: exit(0)