Commit Graph

3 Commits

Author SHA1 Message Date
Nadrieril
99468bb760 Update tests 2024-08-10 12:07:17 +02:00
Nadrieril
e2fd9aa33e Set up false edges in lower_match_tree 2024-07-29 09:50:07 +02:00
DianQK
8ddd966223
Rename UninhabitedEnumBranching to UnreachableEnumBranching 2024-03-09 14:32:27 +08:00