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

00001 /* Creates and removes a directory, then makes sure that it's
00002    really gone. */
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 (mkdir ("a"), "mkdir \"a\"");
00012   CHECK (remove ("a"), "rmdir \"a\"");
00013   CHECK (!chdir ("a"), "chdir \"a\" (must return false)");
00014 }