PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
create-normal.c
Go to the documentation of this file.
1
/** Creates an ordinary empty file. */
2
3
#include "
tests/lib.h
"
4
#include "
tests/main.h
"
5
6
void
7
test_main
(
void
)
8
{
9
CHECK
(
create
(
"quux.dat"
, 0),
"create quux.dat"
);
10
}
test_main
void test_main(void)
Creates an ordinary empty file.
Definition:
create-normal.c:7
create
bool create(const char *file, unsigned initial_size)
Definition:
syscall.c:91
lib.h
CHECK
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition:
lib.h:29
main.h
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2
1.9.2