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

   1 (exec-missing) begin
   2 (exec-missing) exec("no-such-file"): -1
   3 (exec-missing) end
   4 exec-missing: exit(0)