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

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