PKUOS - Pintos
Pintos source browser for PKU Operating System course
create-empty.c
Go to the documentation of this file.
1/** Tries to create a file with the empty string as its name. */
2
3#include "tests/lib.h"
4#include "tests/main.h"
5
6void
7test_main (void)
8{
9 msg ("create(\"\"): %d", create ("", 0));
10}
void test_main(void)
Tries to create a file with the empty string as its name.
Definition: create-empty.c:7
bool create(const char *file, unsigned initial_size)
Definition: syscall.c:91
void msg(const char *format,...)
Definition: lib.c:28