Pintos: pintos/src/tests/filesys/extended/dir-under-file.c Source File

00001 /* Tries to create a directory with the same name as an existing
00002    file, which must return failure. */
00003 
00004 #include <syscall.h>
00005 #include "tests/lib.h"
00006 #include "tests/main.h"
00007 
00008 void
00009 test_main (void) 
00010 {
00011   CHECK (create ("abc", 0), "create \"abc\"");
00012   CHECK (!mkdir ("abc"), "mkdir \"abc\" (must return false)");
00013 }