pintos-os.org Git - pintos-anon/blob - grading/filesys/dir-empty-name.c

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