Pintos: pintos/src/tests/userprog/create-empty.c Source File

00001 /* Tries to create a file with the empty string as its name. */
00002 
00003 #include "tests/lib.h"
00004 #include "tests/main.h"
00005 
00006 void
00007 test_main (void) 
00008 {
00009   msg ("create(\"\"): %d", create ("", 0));
00010 }