Make tests public. Rewrite most tests. Add tests.
[pintos-anon] / src / threads / test.h
diff --git a/src/threads/test.h b/src/threads/test.h
deleted file mode 100644 (file)
index d6b3ca8..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-#ifndef THREADS_TEST_H
-#define THREADS_TEST_H
-
-#include "threads/init.h"
-
-void test (void);
-
-#endif /* threads/test.h */