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

   1 (dir-rm-tree) begin
   2 (dir-rm-tree) creating /0/0/0/0 through /3/2/2/3...
   3 (dir-rm-tree) open "/0/2/0/3"
   4 (dir-rm-tree) close "/0/2/0/3"
   5 (dir-rm-tree) removing /0/0/0/0 through /3/2/2/3...
   6 (dir-rm-tree) open "/3/0/2/0" (must return -1)
   7 (dir-rm-tree) end