PKUOS - Pintos
Pintos source browser for PKU Operating System course
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
8void
9test_main (void)
10{
11 CHECK (!mkdir (""), "mkdir \"\" (must return false)");
12}
void test_main(void)
Tries to create a directory named as the empty string, which must return failure.
Definition: dir-empty-name.c:9
bool mkdir(const char *dir)
Definition: syscall.c:163
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition: lib.h:29