pintos-os.org Git - pintos-anon/blob - src/tests/userprog/create-exists.c

   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 }