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

   1 (dir-rm-cwd-cd) begin
   2 (dir-rm-cwd-cd) mkdir "a"
   3 (dir-rm-cwd-cd) chdir "a"
   4 (dir-rm-cwd-cd) remove "/a" (must not crash)
   5 (dir-rm-cwd-cd) chdir "/a" (remove succeeded so this must return false)
   6 (dir-rm-cwd-cd) end
   7 --OR--
   8 (dir-rm-cwd-cd) begin
   9 (dir-rm-cwd-cd) mkdir "a"
  10 (dir-rm-cwd-cd) chdir "a"
  11 (dir-rm-cwd-cd) remove "/a" (must not crash)
  12 (dir-rm-cwd-cd) chdir "/a" (remove failed so this must succeed)
  13 (dir-rm-cwd-cd) end