Pintos: pintos/src/tests/userprog/open-null.c Source File

00001 /* Tries to open a file with the null pointer as its name.
00002    The process must be terminated with exit code -1. */
00003 
00004 #include <stddef.h>
00005 #include <syscall.h>
00006 #include "tests/main.h"
00007 
00008 void
00009 test_main (void) 
00010 {
00011   open (NULL);
00012 }