summaryrefslogtreecommitdiffstats
path: root/tests/userprog/create-exists.c
diff options
context:
space:
mode:
authormanuel <manuel@mausz.at>2012-03-27 11:51:08 +0200
committermanuel <manuel@mausz.at>2012-03-27 11:51:08 +0200
commit4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b (patch)
tree868c52e06f207b5ec8a3cc141f4b8b2bdfcc165c /tests/userprog/create-exists.c
parenteae0bd57f0a26314a94785061888d193d186944a (diff)
downloadprogos-4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b.tar.gz
progos-4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b.tar.bz2
progos-4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b.zip
reorganize file structure to match the upstream requirements
Diffstat (limited to 'tests/userprog/create-exists.c')
-rw-r--r--tests/userprog/create-exists.c16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/userprog/create-exists.c b/tests/userprog/create-exists.c
new file mode 100644
index 0000000..d395008
--- /dev/null
+++ b/tests/userprog/create-exists.c
@@ -0,0 +1,16 @@
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}