Increase default timeout to 15 seconds.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index 2d61506b6882bbfdb81b170fb1de9779110dc8d1..dd5f7467f4f09d377e122b8fb58b401caa6f45ae 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,8 +1,8 @@
 -*- text -*-
 
-* Grader:
+* Threads:
 
-  - Fix bug where failures are being treated as warnings.
+  - join-invalid doesn't compile if tid_t is not scalar type.
 
 * Userprog project: