From 61e03f9f4eecf3d5811b11c44c9ef778f0a93bc7 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Sun, 14 Jul 2024 21:28:37 +0200
Subject: Found a sneaky bug (it's all a mess now)

---
 TODO.txt | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'TODO.txt')

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
-- 
cgit v1.3