PKUOS - Pintos
Pintos source browser for PKU Operating System course
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
7void
8test_main (void)
9{
10 check_file ("sample.txt", sample, sizeof sample - 1);
11}
void check_file(const char *file_name, const void *buf, size_t size)
Definition: lib.c:151
void test_main(void)
Try reading a file in the most normal way.
Definition: read-normal.c:8