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 (exec-missing) exec("no-such-file"): -1
   9 (exec-missing) end
  10 exec-missing: exit(0)
  11 --OR--
  12 (exec-missing) begin
  13 load: no-such-file: open failed
  14 no-such-file: exit(-1)
  15 (exec-missing) exec("no-such-file"): -1
  16 (exec-missing) end
  17 exec-missing: exit(0)