Pintos: pintos/src/tests/userprog/read-normal.c Source File

00001 /* Try reading a file in the most normal way. */
00002 
00003 #include "tests/userprog/sample.inc"
00004 #include "tests/lib.h"
00005 #include "tests/main.h"
00006 
00007 void
00008 test_main (void) 
00009 {
00010   check_file ("sample.txt", sample, sizeof sample - 1);
00011 }