pintos/src/tests/userprog/write-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 write-boundary.c.

References byte_cnt(), CHECK, copy_string_across_boundary(), fail(), open(), and write().


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