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

   1 (dir-rm-root) begin
   2 (dir-rm-root) remove "/" (must return false)
   3 (dir-rm-root) create "/a"
   4 (dir-rm-root) end