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

   1 (dir-over-file) begin
   2 (dir-over-file) mkdir "abc"
   3 (dir-over-file) create "abc" (must return false)
   4 (dir-over-file) end