pintos-os.org Git - pintos-anon/blob - src/tests/main.c

   1 #include <random.h>
   2 #include "tests/lib.h"
   3 #include "tests/main.h"
   4
   5 int
   6 main (int argc UNUSED, char *argv[])
   7 {
   8   test_name = argv[0];
   9
  10   msg ("begin");
  11   random_init (0);
  12   test_main ();
  13   msg ("end");
  14   return 0;
  15 }