PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
create-null.c
Go to the documentation of this file.
1
/** Tries to create a file with the null pointer as its name.
2
The process must be terminated with exit code -1. */
3
4
#include "
tests/lib.h
"
5
#include "
tests/main.h
"
6
7
void
8
test_main
(
void
)
9
{
10
msg
(
"create(NULL): %d"
,
create
(
NULL
, 0));
11
}
test_main
void test_main(void)
Tries to create a file with the null pointer as its name.
Definition:
create-null.c:8
create
bool create(const char *file, unsigned initial_size)
Definition:
syscall.c:91
msg
void msg(const char *format,...)
Definition:
lib.c:28
lib.h
main.h
NULL
#define NULL
Definition:
stddef.h:4
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2