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

00001 /* Tries to create a file with a name that is much too long,
00002    which must fail. */
00003 
00004 #include <string.h>
00005 #include <syscall.h>
00006 #include "tests/lib.h"
00007 #include "tests/main.h"
00008 
00009 void
00010 test_main (void) 
00011 {
00012   static char name[512];
00013   memset (name, 'x', sizeof name);
00014   name[sizeof name - 1] = '\0';
00015   
00016   msg ("create(\"x...\"): %d", create (name, 0));
00017 }