pintos-os.org Git - pintos-anon/blob - src/tests/filesys/create.inc

   1 /* -*- c -*- */
   2
   3 #include <syscall.h>
   4 #include "tests/lib.h"
   5 #include "tests/main.h"
   6
   7 static char buf[TEST_SIZE];
   8
   9 void
  10 test_main (void)
  11 {
  12   const char *filename = "blargle";
  13   CHECK (create (filename, TEST_SIZE), "create \"%s\"", filename);
  14   check_file (filename, buf, TEST_SIZE);
  15 }