CS318 - Pintos
Pintos source browser for JHU CS318 course
src
tests
main.c
Go to the documentation of this file.
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
}
lib.h
main
int main(int argc UNUSED, char *argv[])
Definition:
main.c:6
UNUSED
#define UNUSED
GCC lets us add "attributes" to functions, function parameters, etc.
Definition:
debug.h:7
test_main
void test_main(void)
tests/main.h
Definition:
syn-read.c:17
random.h
random_init
void random_init(unsigned seed)
Initializes or reinitializes the PRNG with the given SEED.
Definition:
random.c:34
main.h
msg
void msg(const char *format,...)
Definition:
lib.c:28
test_name
const char * test_name
Child process for syn-read test.
Definition:
child-syn-read.c:14
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by
1.8.16
1.8.16