CS318 - Pintos
Pintos source browser for JHU CS318 course
open-boundary.c
Go to the documentation of this file.
1 /** Creates a file whose name spans the boundary between two pages.
2  This is valid, so it must succeed. */
3 
4 #include <syscall.h>
6 #include "tests/lib.h"
7 #include "tests/main.h"
8 
9 void
10 test_main (void)
11 {
12  CHECK (open (copy_string_across_boundary ("sample.txt")) > 1,
13  "open \"sample.txt\"");
14 }
lib.h
test_main
void test_main(void)
Creates a file whose name spans the boundary between two pages.
Definition: open-boundary.c:10
CHECK
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition: lib.h:29
open
int open(const char *file)
Definition: syscall.c:103
copy_string_across_boundary
char * copy_string_across_boundary(const char *src)
Returns a copy of SRC split across the boundary between two pages.
Definition: boundary.c:29
main.h
boundary.h