[Tree Unique] Fix correctness bug - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

[Tree Unique] Fix correctness bug #292

Closed Alex-Fischman closed 4 months ago

Alex-Fischman commented 8 months ago

There's a branch correctness-bug that contains a failing test. Your task is to fix the code so that the test passes. Here are some things I know about the bug:

It has to do with Switches, potentially nested, and potentially single-branch.
It causes the outermost switch to be equal to its predicate.
Commenting out the rule on line 30 of switch_rewrite.rs causes the test to pass, but I'm pretty sure the rule itself is sound.

Good luck!

Alex-Fischman commented 4 months ago

We don't have this bug anymore.