CS318 - Pintos
Pintos source browser for JHU CS318 course
src
tests
userprog
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>
5
#include "
tests/userprog/boundary.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
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by
1.8.16