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

   1 /* -*- c -*- */
   2
   3 #include <stdio.h>
   4 #include <syscall.h>
   5 #include "fslib.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 }