pintos-os.org Git - pintos-anon/blob - src/tests/userprog/open-empty.c

   1 /* Tries to open a file with the empty string as its name. */
   2
   3 #include <syscall.h>
   4 #include "tests/lib.h"
   5 #include "tests/main.h"
   6
   7 void
   8 test_main (void)
   9 {
  10   int handle = open ("");
  11   if (handle != -1)
  12     fail ("open() returned %d instead of -1", handle);
  13 }