added bad-jump/read/write bad-jump2/read2/write2 to check that process
[pintos-anon] / src / tests / main.h
1 #ifndef TESTS_MAIN_H
2 #define TESTS_MAIN_H
3
4 void test_main (void);
5
6 #endif /* tests/main.h */