search

egraphs-good / extraction-gym

benchmarking e-graph extraction
MIT License
24 stars 15 forks source link

Fix faster-greedy-dag extractor. #32

Closed TrevorHansen closed 6 months ago

TrevorHansen commented 6 months ago

This fixes the problem identified by the fuzzer.