Fix frontend crash error

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Fix frontend crash error #592

Closed ajpal closed 5 months ago

ajpal commented 5 months ago

We were seeing this error: If there was no previous run to compare to

Turns out, there wasn't a main run in the last 30 runs, so the slice of previous runs we returned didn't have a main run. Fix is to make sure we have at least on main run in the slice.

oflatt commented 5 months ago

Lets merge, could you please add that error in another PR?