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

   1 (dir-rm-cwd) begin
   2 (dir-rm-cwd) mkdir "a"
   3 (dir-rm-cwd) chdir "a"
   4 (dir-rm-cwd) remove "/a" (must not crash)
   5 (dir-rm-cwd) create "b" (must not crash)
   6 (dir-rm-cwd) end