Pintos: pintos/src/tests/filesys/extended/dir-rm-root.c Source File

00001 /* Try to remove the root directory.
00002    This must fail. */
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 (!remove ("/"), "remove \"/\" (must fail)");
00012   CHECK (create ("/a", 243), "create \"/a\"");
00013 }