Also verify that running "make clean" deletes all the files in the

[pintos-anon] / src / tests / main.h

#ifndef TESTS_MAIN_H
#define TESTS_MAIN_H

void test_main (void);

#endif /* tests/main.h */