1 files changed, 9 insertions, 0 deletions
diff --git a/TODO.txt b/TODO.txt
index 46c1656..6ca924a 100644
--- a/TODO.txt
+++ b/TODO.txt
@@ -1,3 +1,12 @@
+Bug in cocsepdata
+  - Add tests for ttrep
+    - check that ttrep indeed brings to representative
+  - Fix?
+  - Once fixed, fix other tests
+    - maybe add longtest, e.g. as a tool?
+  - Clean up mixed bfs fromdone / fromnew, use as new for h0k4
+  - Re-do stats
 Check stats for all tables using H48stats solver
  - try DFS for h0 solver
    - compare results, the bfs method could be wrong

diff --git a/TODO.txt b/TODO.txt index 46c1656..6ca924a 100644 --- a/TODO.txt +++ b/TODO.txt
@@ -1,3 +1,12 @@
		1	Bug in cocsepdata
		2	- Add tests for ttrep
		3	- check that ttrep indeed brings to representative
		4	- Fix?
		5	- Once fixed, fix other tests
		6	- maybe add longtest, e.g. as a tool?
		7	- Clean up mixed bfs fromdone / fromnew, use as new for h0k4
		8	- Re-do stats
		9
1	Check stats for all tables using H48stats solver	10	Check stats for all tables using H48stats solver
2	- try DFS for h0 solver	11	- try DFS for h0 solver
3	- compare results, the bfs method could be wrong	12	- compare results, the bfs method could be wrong