Remove `failing/brils/mem`: all tests pass now

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Remove `failing/brils/mem`: all tests pass now #490

Closed ezrosent closed 5 months ago

ezrosent commented 5 months ago

Most of these tests were already present in the passing dir. One (fib.bril) was missing in the passing tests, but it passes at head; this PR moves it over.