Initial file system tests.

[pintos-anon] / grading / filesys / full.inc

diff --git a/grading/filesys/full.inc b/grading/filesys/full.inc
new file mode 100644 (file)
index 0000000..32b7c8f
--- /dev/null
+++ b/grading/filesys/full.inc
@@ -0,0 +1,20 @@
+/* -*- c -*- */
+
+#include "fslib.h"
+
+static char buf[TEST_SIZE];
+
+static size_t
+return_test_size (void) 
+{
+  return TEST_SIZE;
+}
+
+int
+main (void) 
+{
+  msg ("begin");
+  seq_test ("quux", buf, sizeof buf, sizeof buf, 2, return_test_size, NULL);
+  msg ("end");
+  return 0;
+}