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

   1 /* -*- c -*- */
   2
   3 #include <syscall.h>
   4 #include <stdio.h>
   5 #include "fslib.h"
   6
   7 static char buf[512];
   8
   9 static size_t
  10 return_block_size (void)
  11 {
  12   return sizeof buf;
  13 }
  14
  15 void
  16 test_main (void)
  17 {
  18   size_t i;
  19
  20 #ifdef DIRECTORY
  21   CHECK (mkdir (DIRECTORY), "mkdir %s", DIRECTORY);
  22 #define DIR_PREFIX DIRECTORY "/"
  23 #else
  24 #define DIR_PREFIX ""
  25 #endif
  26   for (i = 0; i < FILE_CNT; i++)
  27     {
  28       char filename[128];
  29       snprintf (filename, sizeof filename, "%sfile%zu", DIR_PREFIX, i);
  30
  31       msg ("creating and checking \"%s\"", filename);
  32
  33       quiet = true;
  34       seq_test (filename,
  35                 buf, sizeof buf, sizeof buf,
  36                 return_block_size, NULL);
  37       quiet = false;
  38     }
  39 }