search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Move test #475

Closed ajpal closed 4 months ago

ajpal commented 5 months ago

After #462 , looks like the test added by #470 should move

oflatt commented 4 months ago

Done by #569