pintos-os.org Git - pintos-anon/blob - grading/filesys/fslib.h

   1 #ifndef FSLIB_H
   2 #define FSLIB_H
   3
   4 #include <debug.h>
   5 #include <stdbool.h>
   6 #include <stddef.h>
   7
   8 extern const char test_name[];
   9 extern bool quiet;
  10
  11 void msg (const char *, ...) PRINTF_FORMAT (1, 2);
  12 void fail (const char *, ...) PRINTF_FORMAT (1, 2) NO_RETURN;
  13 void check (bool, const char *, ...) PRINTF_FORMAT (2, 3);
  14
  15 void shuffle (void *, size_t cnt, size_t size);
  16
  17 void seq_test (const char *filename,
  18                void *buf, size_t size, size_t initial_size,
  19                size_t (*block_size_func) (void),
  20                void (*check_func) (int fd, long ofs));
  21
  22 void check_file (const char *filename, const void *buf, size_t filesize);
  23
  24 void test_main (void);
  25
  26 #endif /* fslib.h */