pintos-os.org Git - pintos-anon/blob - src/tests/filesys/extended/grow-file-size.c

   1 /* Grows a file from 0 bytes to 2,134 bytes, 37 bytes at a time,
   2    and checks that the file's size is reported correctly at each
   3    step. */
   4
   5 #include <syscall.h>
   6 #include "tests/filesys/seq-test.h"
   7 #include "tests/lib.h"
   8 #include "tests/main.h"
   9
  10 static char buf[2134];
  11
  12 static size_t
  13 return_block_size (void)
  14 {
  15   return 37;
  16 }
  17
  18 static void
  19 check_file_size (int fd, long ofs)
  20 {
  21   long size = filesize (fd);
  22   if (size != ofs)
  23     fail ("filesize not updated properly: should be %ld, actually %ld",
  24           ofs, size);
  25 }
  26
  27 void
  28 test_main (void)
  29 {
  30   seq_test ("testfile",
  31             buf, sizeof buf, 0,
  32             return_block_size, check_file_size);
  33 }