pintos-os.org Git - pintos-anon/blob - userprog/write-stdin.exp

   1 (write-stdin) begin
   2 (write-stdin) end
   3 write-stdin: exit(0)
   4 --OR--
   5 (write-stdin) begin
   6 write-stdin: exit(-1)