pintos-os.org Git - pintos-anon/blob - grading/filesys/full.inc

   1 /* -*- c -*- */
   2
   3 #include "fslib.h"
   4
   5 static char buf[TEST_SIZE];
   6
   7 static size_t
   8 return_test_size (void)
   9 {
  10   return TEST_SIZE;
  11 }
  12
  13 int
  14 main (void)
  15 {
  16   msg ("begin");
  17   seq_test ("quux", buf, sizeof buf, sizeof buf, 2, return_test_size, NULL);
  18   msg ("end");
  19   return 0;
  20 }