Pintos: pintos/src/tests/filesys/extended/grow-dir.inc Source File

00001 /* -*- c -*- */
00002 
00003 #include <syscall.h>
00004 #include <stdio.h>
00005 #include "tests/filesys/seq-test.h"
00006 #include "tests/lib.h"
00007 #include "tests/main.h"
00008 
00009 static char buf[512];
00010 
00011 static size_t
00012 return_block_size (void) 
00013 {
00014   return sizeof buf;
00015 }
00016 
00017 void
00018 test_main (void) 
00019 {
00020   size_t i;
00021   
00022 #ifdef DIRECTORY
00023   CHECK (mkdir (DIRECTORY), "mkdir %s", DIRECTORY);
00024 #define DIR_PREFIX DIRECTORY "/"
00025 #else
00026 #define DIR_PREFIX ""
00027 #endif
00028   for (i = 0; i < FILE_CNT; i++) 
00029     {
00030       char file_name[128];
00031       snprintf (file_name, sizeof file_name, "%sfile%zu", DIR_PREFIX, i);
00032 
00033       msg ("creating and checking \"%s\"", file_name);
00034 
00035       quiet = true;
00036       seq_test (file_name,
00037                 buf, sizeof buf, sizeof buf,
00038                 return_block_size, NULL); 
00039       quiet = false;
00040     }
00041 }