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

   1 (dir-empty-name) begin
   2 (dir-empty-name) create "" (must return false)
   3 (dir-empty-name) end