Fix get node cost bug - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Closed Alex-Fischman closed 5 months ago

Alex-Fischman commented 5 months ago

Fixes an extraction bug where things were wrong when a node's children were ignored.