pintos-doxygen/html/main_8c_source.html

#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;

}

test_name
const char * test_name
Child process for syn-read test.
Definition: child-syn-read.c:14

UNUSED
#define UNUSED
GCC lets us add "attributes" to functions, function parameters, etc.
Definition: debug.h:7

msg
void msg(const char *format,...)
Definition: lib.c:28

lib.h

main
int main(int argc UNUSED, char *argv[])
Definition: main.c:6

main.h

random_init
void random_init(unsigned seed)
Initializes or reinitializes the PRNG with the given SEED.
Definition: random.c:34

random.h

test_main
void test_main(void)
tests/main.h
Definition: syn-read.c:17