PKUOS - Pintos
Pintos source browser for PKU Operating System course
main.h
Go to the documentation of this file.
1#ifndef TESTS_MAIN_H
2#define TESTS_MAIN_H
3
4void test_main (void);
5
6#endif /**< tests/main.h */
void test_main(void)
tests/main.h
Definition: syn-read.c:17