pintos/src/tests/userprog/read-boundary.c File Reference

#include <string.h>
#include <syscall.h>
#include "tests/userprog/boundary.h"
#include "tests/userprog/sample.inc"
#include "tests/lib.h"
#include "tests/main.h"

Go to the source code of this file.

Functions

void test_main (void)


Function Documentation

void test_main ( void   ) 

Definition at line 12 of file read-boundary.c.

References buffer, byte_cnt(), CHECK, fail(), get_boundary_area(), msg(), open(), read(), and strcmp().


Generated on Mon Jan 10 16:43:58 2011 for Pintos by  doxygen 1.5.6