PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
read-normal.c
Go to the documentation of this file.
1
/** Try reading a file in the most normal way. */
2
3
#include "tests/userprog/sample.inc"
4
#include "
tests/lib.h
"
5
#include "
tests/main.h
"
6
7
void
8
test_main
(
void
)
9
{
10
check_file
(
"sample.txt"
, sample,
sizeof
sample - 1);
11
}
check_file
void check_file(const char *file_name, const void *buf, size_t size)
Definition:
lib.c:151
lib.h
main.h
test_main
void test_main(void)
Try reading a file in the most normal way.
Definition:
read-normal.c:8
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2