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

00001 /* Creates a file whose name spans the boundary between two pages.
00002    This is valid, so it must succeed. */
00003 
00004 #include <syscall.h>
00005 #include "tests/userprog/boundary.h"
00006 #include "tests/lib.h"
00007 #include "tests/main.h"
00008 
00009 void
00010 test_main (void) 
00011 {
00012   CHECK (open (copy_string_across_boundary ("sample.txt")) > 1,
00013          "open \"sample.txt\"");
00014 }