PKUOS - Pintos
Pintos source browser for PKU Operating System course
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
7void
8test_main (void)
9{
10 msg ("create(NULL): %d", create (NULL, 0));
11}
void test_main(void)
Tries to create a file with the null pointer as its name.
Definition: create-null.c:8
bool create(const char *file, unsigned initial_size)
Definition: syscall.c:91
void msg(const char *format,...)
Definition: lib.c:28
#define NULL
Definition: stddef.h:4