Dynamic evaluation does not work
Opened this issue · 0 comments
GeorgeOctavian commented
https://github.com/egraphs-good/snake-egg/blob/main/snake_egg/tests/test_dynamic.py
The test above fails because the "x" and "y" received in "replace_add" are always "None".