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

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