search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Interpret tests #279

Closed Alex-Fischman closed 7 months ago

Alex-Fischman commented 8 months ago

Changes run_test to interpret any expressions that are extracted from a test.

Also fixes the interpreter to fail to deal with functions correctly.

Closes #276

oflatt commented 8 months ago

Could you add closes #276 to the PR description?

Alex-Fischman commented 7 months ago

Closing because I will reimplement this on the new schema and starting from scratch is easier.