More filesys tests.

[pintos-anon] / grading / filesys / fslib.h

diff --git a/grading/filesys/fslib.h b/grading/filesys/fslib.h
index b15759897e6da4e7f6d537e36792e202f7c476c8..a0e6f32e583841e57e2eaf200c70848180e7ce6b 100644 (file)
--- a/grading/filesys/fslib.h
+++ b/grading/filesys/fslib.h
@@ -13,10 +13,14 @@ void fail (const char *, ...) PRINTF_FORMAT (1, 2) NO_RETURN;
 void check (bool, const char *, ...) PRINTF_FORMAT (2, 3);
 
 void shuffle (void *, size_t cnt, size_t size);
+
 void seq_test (const char *filename,
-               void *buffer, size_t size,
-               size_t initial_size, int seed,
-               size_t (*block_size) (void), void (*check) (int fd, long ofs));
+               void *buf, size_t size, size_t initial_size,
+               size_t (*block_size_func) (void),
+               void (*check_func) (int fd, long ofs));
+
 void check_file (const char *filename, const void *buf, size_t filesize);
 
+void test_main (void);
+
 #endif /* fslib.h */