Commit Graph

5 Commits

Author SHA1 Message Date
nella 72e2dc4fb3 Add more robsutness tests. 2026-04-07 18:58:31 +02:00
nella d5c8b4a913 Add chain tests and tighten synthesis assertions for csa. 2026-04-07 18:58:31 +02:00
nella ecbbad0930 Edge case tests. 2026-04-07 18:58:31 +02:00
nella 56d912d742 Add csa synth tests. 2026-04-07 18:58:31 +02:00
nella e4cf7a39aa Add structural tests for csa_tree. 2026-04-07 18:58:31 +02:00