PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
filesys
extended
dir-empty-name.c
Go to the documentation of this file.
1
/** Tries to create a directory named as the empty string,
2
which must return failure. */
3
4
#include <syscall.h>
5
#include "
tests/lib.h
"
6
#include "
tests/main.h
"
7
8
void
9
test_main
(
void
)
10
{
11
CHECK
(!
mkdir
(
""
),
"mkdir \"\" (must return false)"
);
12
}
test_main
void test_main(void)
Tries to create a directory named as the empty string, which must return failure.
Definition:
dir-empty-name.c:9
mkdir
bool mkdir(const char *dir)
Definition:
syscall.c:163
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