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

   1 #include <syscall.h>
   2 #include "fslib.h"
   3
   4 const char test_name[] = "dir-rm-root";
   5
   6 void
   7 test_main (void)
   8 {
   9   CHECK (!remove ("/"), "remove \"/\" (must return false)");
  10   CHECK (create ("/a", 243), "create \"/a\"");
  11 }