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

   1 #include <syscall.h>
   2 #include "fslib.h"
   3
   4 const char test_name[] = "dir-rm-cwd-cd";
   5
   6 void
   7 test_main (void)
   8 {
   9   CHECK (mkdir ("a"), "mkdir \"a\"");
  10   CHECK (chdir ("a"), "chdir \"a\"");
  11   msg ("remove \"/a\" (must not crash)");
  12   if (remove ("/a"))
  13     CHECK (!chdir ("/a"),
  14            "chdir \"/a\" (remove succeeded so this must return false)");
  15   else
  16     CHECK (chdir ("/a"), "chdir \"/a\" (remove failed so this must succeed)");
  17 }