PKUOS - Pintos
Pintos source browser for PKU Operating System course
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
8void
9test_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}
void test_main(void)
Verifies that trying to create a file under a name that already exists will fail.
Definition: create-exists.c:9
bool create(const char *file, unsigned initial_size)
Definition: syscall.c:91
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition: lib.h:29