search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Fix failing tests in `brils/core` #483

Closed ezrosent closed 5 months ago

ezrosent commented 5 months ago

This PR moves all tests over from the core subdir to passing. Some of these were fixed by #471, the rest of the fixes are routine.