pintos-progos/tests/main.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#include <random.h>
#include "tests/lib.h"
#include "tests/main.h"

int
main (int argc UNUSED, char *argv[]) 
{
  test_name = argv[0];

  msg ("begin");
  random_init (0);
  test_main ();
  msg ("end");
  return 0;
}