Initial file system tests.

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

diff --git a/grading/filesys/fslib.h b/grading/filesys/fslib.h
new file mode 100644 (file)
index 0000000..b157598
--- /dev/null
+++ b/grading/filesys/fslib.h
@@ -0,0 +1,22 @@
+#ifndef FSLIB_H
+#define FSLIB_H
+
+#include <debug.h>
+#include <stdbool.h>
+#include <stddef.h>
+
+extern const char test_name[];
+extern bool quiet;
+
+void msg (const char *, ...) PRINTF_FORMAT (1, 2);
+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 check_file (const char *filename, const void *buf, size_t filesize);
+
+#endif /* fslib.h */