PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
create-exists.c
Go to the documentation of this file.
1
/** Verifies that trying to create a file under a name that
2
already exists will fail. */
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
(
create
(
"quux.dat"
, 0),
"create quux.dat"
);
12
CHECK
(
create
(
"warble.dat"
, 0),
"create warble.dat"
);
13
CHECK
(!
create
(
"quux.dat"
, 0),
"try to re-create quux.dat"
);
14
CHECK
(
create
(
"baffle.dat"
, 0),
"create baffle.dat"
);
15
CHECK
(!
create
(
"warble.dat"
, 0),
"try to re-create quux.dat"
);
16
}
test_main
void test_main(void)
Verifies that trying to create a file under a name that already exists will fail.
Definition:
create-exists.c:9
create
bool create(const char *file, unsigned initial_size)
Definition:
syscall.c:91
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