issues
search
egraphs-good
/
eggcc
MIT License
42
stars
8
forks
source link
Small improvements to extraction
#520
Closed
yihozhang
closed
4 months ago
yihozhang
commented
4 months ago
Add a test case where first extraction failed but second succeed
Don't do second extraction if the first one is successful