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

   1 (dir-rmdir) begin
   2 (dir-rmdir) mkdir "a"
   3 (dir-rmdir) rmdir "a"
   4 (dir-rmdir) chdir "a" (must return false)
   5 (dir-rmdir) end