egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Improve perf of testing by increasing sharing, disabling brilift #558

Closed oflatt closed 4 months ago

oflatt commented 4 months ago

This PR refactors the testing of benchmarks to increase sharing of work. Now each benchmark is only optimized once instead of twice. Also, the resulting binaries are executed once per treatment instead of twice. Brillift is still tested on our smaller tests, but is disabled for the benchmarks.

Overall, this makes running tests about twice as fast