pintos-os.org Git - pintos-anon/blob - grading/filesys/main.c

   1 #include "fslib.h"
   2
   3 int
   4 main (void)
   5 {
   6   msg ("begin");
   7   test_main ();
   8   msg ("end");
   9   return 0;
  10 }