pintos/src/tests/main.c File Reference

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

Go to the source code of this file.

Functions
int	main (int argc UNUSED, char *argv[])

---

Function Documentation

int main	(	int argc	UNUSED,
		char *	argv[]
	)

Definition at line 7 of file main.c.

References msg(), random_init(), test_main(), and test_name.