pintos-os.org Git - pintos-anon/blob - grading/filesys/dir-open.exp

   1 (dir-open) begin
   2 (dir-open) mkdir "xyzzy"
   3 (dir-open) open "xyzzy"
   4 (dir-open) open returned -1 -- ok
   5 (dir-open) end
   6 --OR--
   7 (dir-open) begin
   8 (dir-open) mkdir "xyzzy"
   9 (dir-open) open "xyzzy"
  10 (dir-open) write "xyzzy" (must return -1, actually -1)
  11 (dir-open) end